diff options
Diffstat (limited to 'build/scripts/copy_docs_files.py')
| -rw-r--r-- | build/scripts/copy_docs_files.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/build/scripts/copy_docs_files.py b/build/scripts/copy_docs_files.py index 361932bfe2..4ad70997c1 100644 --- a/build/scripts/copy_docs_files.py +++ b/build/scripts/copy_docs_files.py @@ -76,7 +76,6 @@ def main(): makedirs(dst_dir) src_dir = os.path.normpath(args.src_dir) + os.path.sep - assert src_dir.startswith(source_root) if src_dir.startswith(source_root): root = source_root |