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