Merge pull request #567 from tannewt/ignore_docs_dir

Ignore docs directory when freezing as well.
2018-02-01 05:50:01 -08:00 · 2018-02-01 05:50:01 -08:00 · 7c6adaa661
parent d556ce291f 737178e0d2
commit 7c6adaa661
1 changed files with 1 additions and 1 deletions
--- 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: