Erik Faye-Lund f4e7204e73 docs: fix bootstrap-extension ...

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>

2024-06-26 13:54:13 +00:00

..

bootstrap.py

docs: fix bootstrap-extension

2024-06-26 13:54:13 +00:00

depfile.py

docs: automatically generate depfile

2024-06-25 10:59:54 +00:00

formatting.py

docs: implement new vk-feat role

2023-03-10 14:02:06 +00:00

nir.py

nir: Drop "SSA" from NIR language

2023-08-12 16:44:41 -04:00

redirects.py

docs: add license to the redirects script

2022-02-22 16:15:47 +00:00