fix
All checks were successful
Documentation / publish (push) Successful in 45s

Signed-off-by: GnomeZworc <nicolas.boufidjeline@g3e.fr>
This commit is contained in:
GnomeZworc 2026-09-10 00:22:55 +02:00
commit d5a1a14d63
Signed by: nicolas.boufideline
GPG key ID: 4406BBBF8845D632
2 changed files with 18 additions and 15 deletions

View file

@ -52,9 +52,8 @@ html_copy_source = False
html_show_sourcelink = False
# Le sélecteur de version est piloté par le workflow de publication : hors CI
# ces variables sont absentes, le sélecteur n'apparaît pas, et le build ne
# dépend d'aucun réseau.
_docs_base_url = os.environ.get('DOCS_BASE_URL')
# la variable est absente, le sélecteur n'apparaît pas, et le build ne dépend
# d'aucun réseau.
_docs_version = os.environ.get('DOCS_VERSION')
html_theme_options = {
@ -70,7 +69,7 @@ html_theme_options = {
],
}
if _docs_base_url and _docs_version:
if _docs_version:
html_theme_options['switcher'] = {
# Chemin relatif volontairement : le thème le résout contre la racine
# de la version courante, donc toujours dans la même origine que la