Erik Faye-Lund a142c1cfc0 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> (cherry picked from commit f4e7204e73)		2024-06-26 22:08:44 +02:00
..
bootstrap.py	docs: fix bootstrap-extension	2024-06-26 22:08:44 +02: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