docs: Manage parallel sphinx-build runs with optional parallel jobs within them

This commit is contained in:
Angus Gratton
2019-12-18 16:32:18 +11:00
committed by Angus Gratton
parent 105567d077
commit 35db219be2
2 changed files with 89 additions and 28 deletions
@@ -39,7 +39,6 @@ def setup(app):
except KeyError:
idf_path = os.path.realpath(os.path.join(os.path.dirname(__file__), '..'))
app.add_config_value('docs_root', os.path.join(idf_path, "docs"), 'env')
app.add_config_value('idf_path', idf_path, 'env')
app.add_config_value('build_dir', build_dir, 'env') # not actually an IDF thing