fdo-mirrors/mesa
1
0
Fork 0
mirror of https://gitlab.freedesktop.org/mesa/mesa.git synced 2026-05-08 09:08:10 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

docs: fix bootstrap-extension

Browse source 
We shouldn't use this extension at all if we're not using the HTML
builder. This should hopefully fix this issue a bit more fundamentally.

This caused issues when using the spelling extension, something I do
locally from time to time.

Fixes: f72033bb70 ("docs: add bootstrap extension")
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/29888>
This commit is contained in:
Erik Faye-Lund 2024-06-24 18:40:22 +02:00 • committed by Marge Bot
parent 18db05d3e6
commit f4e7204e73
1 changed files with 1 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
docs/_exts/bootstrap.py
View file

@ -96,7 +96,7 @@ class BootstrapHTML5TranslatorMixin:
self.body.append(tag) self.body.append(tag)
def setup_translators(app): def setup_translators(app):
if app.builder.default_translator_class is None: if app.builder.format != "html":
return return
if not app.registry.translators.items(): if not app.registry.translators.items():
@ -111,10 +111,6 @@ def setup_translators(app):
app.set_translator(app.builder.name, translator, override=True) app.set_translator(app.builder.name, translator, override=True)
else: else:
for name, klass in app.registry.translators.items(): for name, klass in app.registry.translators.items():
if app.builder.format != "html":
# Skip translators that are not HTML
continue
translator = types.new_class( translator = types.new_class(
"BootstrapHTML5Translator", "BootstrapHTML5Translator",
( (