ci: ensure dev version has the version switcher

sandialabs · Nov 20, 2024 · 6e0a9a7 · 6e0a9a7
1 parent 3899f05
commit 6e0a9a7
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -85,6 +85,9 @@ jobs:
           mkdir docs/_build/doxyxml
 
           export SANSMIC_SPHINX_VERSION=dev
+          cp -f sansmic-ci/docs/_static/* docs/_static/
+          cp html/_static/switcher.json docs/_static/
+          cp -f sansmic-ci/docs/conf.py docs/conf.py
           sphinx-build -b html -d doctrees/latest docs/ html/latest
           for TAG in `git tag --list "v*.*.*" --sort=-version:refname`
           do

diff --git a/docs/conf.py b/docs/conf.py
@@ -211,7 +211,7 @@
 # -- Options for HTML output -------------------------------------------------
 html_theme = "pydata_sphinx_theme"
 html_static_path = ["_static"]
-html_title = "Sansmic"
+html_title = "Sansmic" + " " + version
 html_js_files = [
     "pypi-icon.js",
 ]