tolerate documentation folder in build directory

This commit is contained in:
Maximilian Keßler 2022-01-31 00:46:15 +01:00
parent 75428387f6
commit c9bb0e87c9

View file

@ -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))