Add zundler_root_doc config value

This commit is contained in:
Adrian Vollmer 2022-10-11 18:29:11 +02:00
parent b8753bb03c
commit 871729569d

View File

@ -32,14 +32,18 @@ class ZundlerBuilder(StandaloneHTMLBuilder):
from zundler.embed import embed_assets
root_doc = self.config.zundler_root_doc
if not root_doc:
root_doc = self.config.root_doc
input_path = os.path.join(
self.outdir,
self.config.root_doc + '.html',
root_doc + '.html',
)
output_path = os.path.join(
self.app.original_outdir,
self.config.root_doc + '.html',
root_doc + '.html',
)
with progress_message(__('embedding HTML assets')):
@ -65,6 +69,12 @@ def setup(app):
app.doctreedir = doctreedir
Path(app.outdir).mkdir(parents=True, exist_ok=True)
app.add_config_value(
'zundler_root_doc',
None,
'',
)
app.add_builder(ZundlerBuilder)
return {