From 8a4b51cc0c005f8fe3f488cd7cfbd12f81a94287 Mon Sep 17 00:00:00 2001 From: David Stansby Date: Wed, 4 Sep 2019 17:39:35 +0100 Subject: [PATCH] Mark missing_references extension as parallel read safe --- doc/sphinxext/missing_references.py | 2 ++ 1 file changed, 2 insertions(+) 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}