diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2010-04-10 18:57:12 +0200 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2010-04-10 18:57:12 +0200 |
| commit | 5a8fc08a0a818031de9b3fcf79c5a6528431fa07 (patch) | |
| tree | a523f61adf9680afb8a11484cd4da7a25db88e31 /scripts/build/www_post.py | |
| parent | 653ff47ee6443552b028b1aafa09359de1def693 (diff) | |
Check for `UNTRANSLATED NODE: IGNORE ME' in two more places.
Fixes mirroring of untranslated html files.
Diffstat (limited to 'scripts/build/www_post.py')
| -rw-r--r-- | scripts/build/www_post.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/build/www_post.py b/scripts/build/www_post.py index cf1a7c38c6..a9ab88cd3e 100644 --- a/scripts/build/www_post.py +++ b/scripts/build/www_post.py @@ -49,7 +49,8 @@ html_files = [] hardlinked_files = [] for f in files: if f.endswith ('.html'): - html_files.append (f) + if not 'UNTRANSLATED NODE: IGNORE ME' in open (f).read (): + html_files.append (f) else: hardlinked_files.append (f) dirs = [re.sub ('/' + outdir, '', d) for d in dirs] |