Exclude old files in attic

diff --git a/development/tools/updatedocs.py b/development/tools/updatedocs.py
index d2c7fe8c04cbdc4eb9650afc1feb40b685b1ecf1..99e1713c4c522f3fdf8a72c0a98868a4659d8720 100644 (file)
--- a/development/tools/updatedocs.py
+++ b/development/tools/updatedocs.py
@@ -21,9 +21,10 @@ def convertdir(docdir, prefix, lyx2lyx):
     os.chdir(docdir)
     for i in os.listdir("."):
         if os.path.isdir(i):
-            subdir = os.path.join(docdir, i)
-            subprefix = os.path.join(prefix, i)
-            convertdir(subdir, subprefix, lyx2lyx)
+            if i != 'attic':
+                subdir = os.path.join(docdir, i)
+                subprefix = os.path.join(prefix, i)
+                convertdir(subdir, subprefix, lyx2lyx)
             continue
         (base, ext) = os.path.splitext(i)
         if ext != ".lyx":