diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/extensions/builder.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/extensions/builder.py b/docs/extensions/builder.py index 792f370e..3f2b2594 100644 --- a/docs/extensions/builder.py +++ b/docs/extensions/builder.py @@ -58,11 +58,13 @@ def add_custom_jinja2(app): def add_builders(app): """This is necessary because RTD injects their own for some reason.""" + app.set_translator('html', DPYHTML5Translator, override=True) + app.add_builder(DPYStandaloneHTMLBuilder, override=True) + try: original = app.registry.builders['readthedocs'] except KeyError: - app.set_translator('html', DPYHTML5Translator, override=True) - app.add_builder(DPYStandaloneHTMLBuilder, override=True) + pass else: injected_mro = tuple(base if base is not StandaloneHTMLBuilder else DPYStandaloneHTMLBuilder for base in original.mro()[1:]) |