Undo optimizations to read_all_markdown

These will be submitted in a separate PR

diff --git a/bin/lesson_check.py b/bin/lesson_check.py
index 7d135dce2b4d59b86ca044317750a9d81b1c1870..d9cc7a70d1c3f51a34c31f7a974ffcf8265e1a17 100755 (executable)
--- a/bin/lesson_check.py
+++ b/bin/lesson_check.py
@@ -255,16 +255,14 @@ def read_all_markdown(source_dir, parser):
     {path : {'metadata':yaml, 'metadata_len':N, 'text':text, 'lines':[(i, line, len)], 'doc':doc}}
     """
 
+    all_dirs = [os.path.join(source_dir, d) for d in SOURCE_DIRS]
+    all_patterns = [os.path.join(d, '*.md') for d in all_dirs]
     result = {}
-    for d in SOURCE_DIRS:
-        dpath = os.path.join(source_dir, d)
-
-        pattern = os.path.join(dpath, '*.md')
-        for filename in glob.glob(pattern):
+    for pat in all_patterns:
+        for filename in glob.glob(pat):
             data = read_markdown(parser, filename)
             if data:
                 result[filename] = data
-
     return result