diff options
Diffstat (limited to 'bin/docs-update-generated.py')
| -rw-r--r-- | bin/docs-update-generated.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/docs-update-generated.py b/bin/docs-update-generated.py index 2a78b9f..e689903 100644 --- a/bin/docs-update-generated.py +++ b/bin/docs-update-generated.py @@ -8,6 +8,7 @@ # import os +import SConsDoc # Directory where all generated files are stored gen_folder = 'doc/generated' @@ -28,7 +29,8 @@ def generate_all(): for f in files: if f.endswith('.xml'): fpath = os.path.join(path, f) - flist.append(fpath) + if SConsDoc.isSConsXml(fpath): + flist.append(fpath) if flist: # Does the destination folder exist |