From 8b15043e445eadd0598982a6f72978263bff6133 Mon Sep 17 00:00:00 2001 From: Laurent Guerard Date: Mon, 22 Jun 2026 16:32:41 +0200 Subject: [PATCH] =?UTF-8?q?docs:=20=F0=9F=92=84=20show=20full=20nav=20in?= =?UTF-8?q?=20the=20left=20sidebar?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Drop navigation.tabs so every page lists in the left sidebar as an expandable tree (Home, Getting Started, User Guide, Examples, API Reference) instead of top tabs with a near-empty sidebar. Also rebuild the docs on each release so the header refreshes. Co-Authored-By: Claude Opus 4.8 --- .github/workflows/docs.yml | 4 ++++ mkdocs.yml | 4 +++- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 9723050..358d2f2 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -4,6 +4,10 @@ on: push: branches: - main + # Rebuild after each release so the version shown in the header refreshes. + release: + types: [published] + workflow_dispatch: permissions: contents: write diff --git a/mkdocs.yml b/mkdocs.yml index b1021d3..4559e37 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -22,9 +22,11 @@ theme: - content.code.annotate - content.code.copy - content.tabs.link - - navigation.tabs + - navigation.expand + - navigation.sections - navigation.top - navigation.footer + - toc.integrate - search.highlight - search.share