Merge branch 'fixedmerge' into HEAD

[lilypond.git] / scripts / build / website_post.py

diff --git a/scripts/build/website_post.py b/scripts/build/website_post.py
index 7e8ffefbd624a59510fbf0d5cc49d8c5df52105f..129c1217d325ecfc148eafac80f20e3590fdb9e6 100644 (file)
--- a/scripts/build/website_post.py
+++ b/scripts/build/website_post.py
@@ -153,7 +153,7 @@ for file in html_files:
         lang = ''
         # possibly necessary for automatic language selection
         file_symlink = file.replace(".html", ".en.html")
-        if (not (os.path.exists(file_symlink))):
+        if not os.path.lexists (file_symlink):
             os.symlink (file, file_symlink)
     elif (len(file_split) == 3):
         # it's a translation