diff --git a/build/build.py b/build/build.py index 216cd15..c137f34 100644 --- a/build/build.py +++ b/build/build.py @@ -148,7 +148,7 @@ def build( file.unlink() elif not str(file.relative_to(output_dir)) in built_files: if not file.is_dir() and not str(file.relative_to(output_dir)) == 'build_info.json': - if '.git' not in str(file): + if '.git' not in str(file) and 'documentation/' not in str(file): # PyTeX does not at all know something about this file raise UnknownFileInBuildDirectoryError(file.relative_to(output_dir))