diff options
| author | Rapptz <[email protected]> | 2021-02-02 03:01:12 -0500 |
|---|---|---|
| committer | Rapptz <[email protected]> | 2021-02-02 03:01:12 -0500 |
| commit | 30c06bc55f08cb5d7c56fdfa7e6c708d80ea7f9d (patch) | |
| tree | cd8c7d7724ff502b2848449ba55aa698690a26bc /docs | |
| parent | Add versionchanged to guild.create_role (diff) | |
| download | discord.py-30c06bc55f08cb5d7c56fdfa7e6c708d80ea7f9d.tar.xz discord.py-30c06bc55f08cb5d7c56fdfa7e6c708d80ea7f9d.zip | |
Always inject the HTML builder even in RTD builds
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:]) |