mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
Merge pull request #4352 from jakobandersen/io_parallel
Fix missing metainfo for sphinx.io
This commit is contained in:
commit
9ddb51ea2f
@ -285,3 +285,9 @@ def read_doc(app, env, filename):
|
|||||||
def setup(app):
|
def setup(app):
|
||||||
app.registry.add_source_input('*', SphinxFileInput)
|
app.registry.add_source_input('*', SphinxFileInput)
|
||||||
app.registry.add_source_input('restructuredtext', SphinxRSTFileInput)
|
app.registry.add_source_input('restructuredtext', SphinxRSTFileInput)
|
||||||
|
|
||||||
|
return {
|
||||||
|
'version': 'builtin',
|
||||||
|
'parallel_read_safe': True,
|
||||||
|
'parallel_write_safe': True,
|
||||||
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user