diff --git a/doc/sphinxext/missing_references.py b/doc/sphinxext/missing_references.py index 86fea1b2d3a2..34e96a2e70a9 100644 --- a/doc/sphinxext/missing_references.py +++ b/doc/sphinxext/missing_references.py @@ -292,3 +292,5 @@ def setup(app): app.connect("builder-inited", prepare_missing_references_handler) app.connect("missing-reference", record_missing_reference_handler) app.connect("build-finished", save_missing_references_handler) + + return {'parallel_read_safe': True}