From 0b222f1b115e41e0514c9b5cb609b60ca73ed99b Mon Sep 17 00:00:00 2001 From: Georg Baum Date: Wed, 11 Nov 2015 20:50:40 +0100 Subject: [PATCH] Exclude old files in attic --- development/tools/updatedocs.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/development/tools/updatedocs.py b/development/tools/updatedocs.py index d2c7fe8c04..99e1713c4c 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": -- 2.39.5