Index: scripts/build/www_post.py |
diff --git a/scripts/build/www_post.py b/scripts/build/www_post.py |
index 17af63109edf3d3728ed44c5a49a1e77452cf21f..fec7f0e20cd144eda3bb99b02dd0a0ee38575aec 100644 |
--- a/scripts/build/www_post.py |
+++ b/scripts/build/www_post.py |
@@ -47,9 +47,15 @@ dirs, symlinks, files = mirrortree.walk_tree ( |
# actual mirrorring stuff |
html_files = [] |
hardlinked_files = [] |
+# These whitelisted files actually do contain the string |
+# 'UNTRANSLATED NODE: IGNORE ME' for documentation purposes. |
+whitelisted_files = [ |
+ 'Documentation/out-www/contributor-big-page.html', |
+ 'Documentation/out-www/contributor/website-build.html', |
+] |
for f in files: |
if f.endswith ('.html'): |
- if not 'UNTRANSLATED NODE: IGNORE ME' in open (f).read (): |
+ if f in whitelisted_files or not 'UNTRANSLATED NODE: IGNORE ME' in open (f).read (): |
html_files.append (f) |
else: |
hardlinked_files.append (f) |