Web build: robutify, allow build-not-from-fresh.

diff --git a/scripts/build/website_post.py b/scripts/build/website_post.py
index 9846db819d809fb6fd82e90c028cfb8e7af4b777..14905a85488130f213b44d5f7538b581fc8dd45f 100644 (file)
--- a/scripts/build/website_post.py
+++ b/scripts/build/website_post.py
@@ -44,7 +44,9 @@ for file in html_files:
        else:
                # it's a translation
                lang = file_split[1]
-       langs_set.add(lang)
+       # make sure it's a real language
+       if (not (lang == "en")):
+               langs_set.add(lang)
 langs = list(langs_set)
 langs.sort()
 
@@ -81,10 +83,14 @@ for file in html_files:
                lang = ''
                # possibly necessary for automatic language selection
                file_symlink =file.replace(".html", ".en.html")
-               os.symlink (file, file_symlink)
+               if (not (os.path.exists(file_symlink))):
+                       os.symlink (file, file_symlink)
        else:
                # it's a translation
                lang = file_split[1]
+       # it's a symlink
+       if (lang == "en"):
+               continue
        out_filename += '.'+lang
 
 # I can't get the previous name to work