diff options
-rw-r--r-- | doc/python_api/sphinx_doc_gen.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/python_api/sphinx_doc_gen.py b/doc/python_api/sphinx_doc_gen.py index 92ab4797c25..7e9a42a721a 100644 --- a/doc/python_api/sphinx_doc_gen.py +++ b/doc/python_api/sphinx_doc_gen.py @@ -2228,7 +2228,7 @@ def main(): shutil.rmtree(REFERENCE_PATH, True) # copy SPHINX_OUT to the REFERENCE_PATH - ignores = ('.doctrees', 'objects.inv', '.buildinfo') + ignores = ('.doctrees', '.buildinfo') shutil.copytree(SPHINX_OUT, REFERENCE_PATH, ignore=shutil.ignore_patterns(*ignores)) |