mirror of
https://github.com/django/django.git
synced 2025-08-16 00:30:47 +00:00
[1.9.x] Declared Sphinx extensions safe for parallel reading.
Backport of 03306a187e
from master
This commit is contained in:
parent
906b5dfd60
commit
29b3bdc25c
2 changed files with 2 additions and 0 deletions
|
@ -63,6 +63,7 @@ def setup(app):
|
||||||
man=(visit_snippet_literal, depart_snippet_literal),
|
man=(visit_snippet_literal, depart_snippet_literal),
|
||||||
text=(visit_snippet_literal, depart_snippet_literal),
|
text=(visit_snippet_literal, depart_snippet_literal),
|
||||||
texinfo=(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):
|
class snippet_with_filename(nodes.literal_block):
|
||||||
|
|
|
@ -36,3 +36,4 @@ def ticket_role(name, rawtext, text, lineno, inliner, options=None, content=None
|
||||||
def setup(app):
|
def setup(app):
|
||||||
app.add_config_value('ticket_url', None, 'env')
|
app.add_config_value('ticket_url', None, 'env')
|
||||||
app.add_role('ticket', ticket_role)
|
app.add_role('ticket', ticket_role)
|
||||||
|
return {'parallel_read_safe': True}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue