Skip to content

Show the version in the docs title and drop the version notes - #954

Merged
m-reuter merged 3 commits into
Deep-MI:devfrom
m-reuter:doc-banner
Oct 18, 2026
Merged

m-reuter merged 3 commits into
Deep-MI:devfrom
m-reuter:doc-banner

Conversation

@m-reuter

Copy link
Copy Markdown
Member

The title at the top left (and in the browser tab) now says which version a tree documents: "FastSurfer " for the stable docs, "FastSurfer dev" for the development docs. The notes above code blocks with image versions (44 in the dev docs, 18 in the stable docs, e.g. "This documents the development version ... Official Docker images only exist for releases") are removed, together with the fix_links code that rendered them: the title and the announcement bar already say which version a page documents. The conventions are updated to match.

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟢 Approval recommended

The documentation and banner-removal changes are consistent, with no unresolved blocking findings.

No open issues 🎉

What changed in this PR

The documentation now identifies its version in the site title instead of repeating version notes above code blocks.

Changes:

  • Show the release version or “dev” in the documentation title and remove banner-rendering support.
  • Add a launcher command reference and navigation links.
  • Update documentation conventions and standardize page-title capitalization.
File Description
doc/​sphinx_ext/​fix_links/​parser.py Remove code-block banner rendering.
doc/​sphinx_ext/​fix_links/​__init__.py Remove banner configuration registration.
doc/​scripts/​recon_surfreg.rst Standardize title capitalization.
doc/​scripts/​recon_surf.rst Standardize title capitalization.
doc/​scripts/​LAUNCHER.md Add launcher usage reference.
doc/​scripts/​index.rst Include the launcher reference.
doc/​scripts/​advanced.rst Standardize title capitalization.
doc/​overview/​OUTPUT_FILES.md Standardize title capitalization.
doc/​overview/​install/​NATIVE.md Standardize title capitalization.
doc/​overview/​CONTAINERS.md Shorten title and link launcher reference.
doc/​developer/​GIT-HOOKS.md Standardize title capitalization.
doc/​developer/​docker.rst Standardize title capitalization.
doc/​CONVENTIONS.md Document the title-based version convention.
doc/​conf.py Set versioned titles and remove banner settings.
doc/​AGENTS.md Remove the banner-rendering description.

Review effort: Balanced

@m-reuter
m-reuter merged commit 7f9b4f4 into Deep-MI:dev Oct 18, 2026
4 checks passed
@m-reuter
m-reuter deleted the doc-banner branch October 18, 2026 10:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants