diff options
| author | Tim Graham <timograham@gmail.com> | 2016-01-13 11:33:25 -0500 |
|---|---|---|
| committer | Tim Graham <timograham@gmail.com> | 2017-01-23 09:50:58 -0500 |
| commit | 29b3bdc25c0fe37c22931181ed19907005923fd6 (patch) | |
| tree | 26c7cb660423844ebf4e94d1be17aec2e0aa6831 /docs/_ext | |
| parent | 906b5dfd6091c21aaf78935d7fc4a7d87d3ef5eb (diff) | |
[1.9.x] Declared Sphinx extensions safe for parallel reading.
Backport of 03306a187ec3bb5e2592728a900d4a41185f9e30 from master
Diffstat (limited to 'docs/_ext')
| -rw-r--r-- | docs/_ext/djangodocs.py | 1 | ||||
| -rw-r--r-- | docs/_ext/ticket_role.py | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/docs/_ext/djangodocs.py b/docs/_ext/djangodocs.py index 4e97ad7ab0..cce682e7b7 100644 --- a/docs/_ext/djangodocs.py +++ b/docs/_ext/djangodocs.py @@ -63,6 +63,7 @@ def setup(app): man=(visit_snippet_literal, depart_snippet_literal), text=(visit_snippet_literal, depart_snippet_literal), texinfo=(visit_snippet_literal, depart_snippet_literal)) + return {'parallel_read_safe': True} class snippet_with_filename(nodes.literal_block): diff --git a/docs/_ext/ticket_role.py b/docs/_ext/ticket_role.py index b53778558e..809b4239b2 100644 --- a/docs/_ext/ticket_role.py +++ b/docs/_ext/ticket_role.py @@ -36,3 +36,4 @@ def ticket_role(name, rawtext, text, lineno, inliner, options=None, content=None def setup(app): app.add_config_value('ticket_url', None, 'env') app.add_role('ticket', ticket_role) + return {'parallel_read_safe': True} |
