diff options
| author | Scott Shawcroft <scott.shawcroft@gmail.com> | 2018-01-31 11:10:50 -0800 |
|---|---|---|
| committer | Scott Shawcroft <scott.shawcroft@gmail.com> | 2018-01-31 11:10:50 -0800 |
| commit | 737178e0d259478bc51193bd4f7180f2677d4f1c (patch) | |
| tree | af6963c66210383f302d0ef372020972cd370807 /tools/preprocess_frozen_modules.py | |
| parent | d556ce291fac28be244a127235b7e87696a02514 (diff) | |
Ignore docs directory when freezing as well.
conf.py for Sphinx will be moved here.
Diffstat (limited to 'tools/preprocess_frozen_modules.py')
| -rwxr-xr-x | tools/preprocess_frozen_modules.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/preprocess_frozen_modules.py b/tools/preprocess_frozen_modules.py index 0233fba61..d157deeee 100755 --- a/tools/preprocess_frozen_modules.py +++ b/tools/preprocess_frozen_modules.py @@ -33,7 +33,7 @@ def copy_and_process(in_dir, out_dir): for root, subdirs, files in os.walk(in_dir): # Skip library examples directories. - if Path(root).name == 'examples': + if Path(root).name in ['examples', 'docs']: continue for file in files: |