summaryrefslogtreecommitdiff
path: root/sphinx/builders/devhelp.py
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2016-12-14 00:12:23 +0900
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2016-12-14 00:12:23 +0900
commite645ea59dbeec3b295b6167245a9278624c64a6d (patch)
treefda23ea0f03f4e1b497327a1c16bc4c37f0f6a7f /sphinx/builders/devhelp.py
parentc2b19243a3f6a39734bdf1244d858ee4f53fbc90 (diff)
parent6bb903058052390be5eedeb4941c4e31c3c75465 (diff)
downloadsphinx-git-e645ea59dbeec3b295b6167245a9278624c64a6d.tar.gz
Merge branch 'stable'
Diffstat (limited to 'sphinx/builders/devhelp.py')
-rw-r--r--sphinx/builders/devhelp.py6
1 files changed, 6 insertions, 0 deletions
diff --git a/sphinx/builders/devhelp.py b/sphinx/builders/devhelp.py
index f0b313e7f..e615de39b 100644
--- a/sphinx/builders/devhelp.py
+++ b/sphinx/builders/devhelp.py
@@ -137,3 +137,9 @@ def setup(app):
app.add_builder(DevhelpBuilder)
app.add_config_value('devhelp_basename', lambda self: make_filename(self.project), None)
+
+ return {
+ 'version': 'builtin',
+ 'parallel_read_safe': True,
+ 'parallel_write_safe': True,
+ }