commit 0b222f1b115e41e0514c9b5cb609b60ca73ed99b
Author: Georg Baum <[email protected]>
Date: Wed Nov 11 20:50:40 2015 +0100
Exclude old files in attic
diff --git a/development/tools/updatedocs.py b/development/tools/updatedocs.py
index d2c7fe8..99e1713 100644
--- 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":
