Amend 9d8dfe934ba: Check _all_ visited dirs

diff --git a/lib/scripts/TeXFiles.py b/lib/scripts/TeXFiles.py
index 16b7df2e8b2a2ec7e29bab2b4ba42b4a431e1931..a5787eaacba4ce01fa28adb16f1bc48af073bcb6 100755 (executable)
--- a/lib/scripts/TeXFiles.py
+++ b/lib/scripts/TeXFiles.py
@@ -111,12 +111,12 @@ for type in types:
     
     file_ext = '.' + type
     out = open(outfile, 'w')
+    visited = set()
     for dir in dirs.split(path_sep):
         # for each valid directory
         if not os.path.isdir(dir):
             continue
         # walk down the file hierarchy
-        visited = set()
         for root,dirs,files in os.walk(dir, followlinks=True):
             # prevent inifinite recursion
             recurse = []