diff options
author | dec05eba <dec05eba@protonmail.com> | 2019-08-14 01:30:08 +0200 |
---|---|---|
committer | dec05eba <dec05eba@protonmail.com> | 2020-07-25 14:36:46 +0200 |
commit | 664fbc5f5c947aaa04bbbf132d9c935959e34a9c (patch) | |
tree | fb25c4d6b8ccc5c6c7d02ad1170947096ff684e9 /doc/doc_extract.py | |
parent | ea97370f973374f863e4296c2bb872be8b5235a3 (diff) |
Move program code generation and execution out of program (make it generic)
Diffstat (limited to 'doc/doc_extract.py')
-rwxr-xr-x | doc/doc_extract.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/doc_extract.py b/doc/doc_extract.py index ce192cb..1ce7dc9 100755 --- a/doc/doc_extract.py +++ b/doc/doc_extract.py @@ -69,9 +69,11 @@ def main(): amalgam_base = os.path.dirname(script_dir) amalgam_includes = os.path.join(amalgam_base, "include") amalgam_sources = os.path.join(amalgam_base, "src") + amalgam_executor_sources = os.path.join(amalgam_base, "executor") source_files = get_source_files_recursive(amalgam_includes) source_files += get_source_files_recursive(amalgam_sources) + source_files += get_source_files_recursive(amalgam_executor_sources) doc_data = [] for filepath in source_files: docs = extract_docs(filepath) |