diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2016-12-12 21:22:16 +0900 |
|---|---|---|
| committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2016-12-12 21:22:16 +0900 |
| commit | d72954d498a6174e5629e7174f1c639cb76b6fe4 (patch) | |
| tree | 00bbe29fed1c9eab54973a68b8c26ed557eeb7f5 /sphinx/builders/websupport.py | |
| parent | 3c734e5b2db4861471ed5fbf664a48ab1c1719c9 (diff) | |
| download | sphinx-git-d72954d498a6174e5629e7174f1c639cb76b6fe4.tar.gz | |
builtin extensions return metadata to allow parallel build
Diffstat (limited to 'sphinx/builders/websupport.py')
| -rw-r--r-- | sphinx/builders/websupport.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/sphinx/builders/websupport.py b/sphinx/builders/websupport.py index d8ff5ad8d..1154b3419 100644 --- a/sphinx/builders/websupport.py +++ b/sphinx/builders/websupport.py @@ -169,3 +169,9 @@ class WebSupportBuilder(PickleHTMLBuilder): def setup(app): app.add_builder(WebSupportBuilder) + + return { + 'version': 'builtin', + 'parallel_read_safe': True, + 'parallel_write_safe': True, + } |