From 44a4f123f8fcf34cc4113dfe6464b221e3dc3244 Mon Sep 17 00:00:00 2001 From: GnomeZworc Date: Wed, 9 Sep 2026 23:47:17 +0200 Subject: [PATCH] tesT Signed-off-by: GnomeZworc --- docs/conf.py | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/docs/conf.py b/docs/conf.py index 34656c4..995b4dd 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -3,6 +3,8 @@ # For the full list of built-in configuration values, see the documentation: # https://www.sphinx-doc.org/en/master/usage/configuration.html +import os + # -- Project information ----------------------------------------------------- # https://www.sphinx-doc.org/en/master/usage/configuration.html#project-information @@ -49,6 +51,12 @@ html_show_sphinx = False 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') +_docs_version = os.environ.get('DOCS_VERSION') + html_theme_options = { 'home_page_in_toc': True, 'use_download_button': False, @@ -61,3 +69,20 @@ html_theme_options = { }, ], } + +if _docs_base_url and _docs_version: + html_theme_options['switcher'] = { + 'json_url': f'{_docs_base_url}/switcher.json', + 'version_match': _docs_version, + } + # Le thème book vide navbar_start et place tout dans la barre latérale : le + # sélecteur doit donc y être inséré explicitement, à côté du logo. + html_sidebars = { + '**': [ + 'navbar-logo.html', + 'icon-links.html', + 'version-switcher.html', + 'search-button-field.html', + 'sbt-sidebar-nav.html', + ] + }