Skip to content

release: docs dev to main - #18

Merged
jm-rivera merged 1 commit into
mainfrom
dev
Nov 2, 2026
Merged

jm-rivera merged 1 commit into
mainfrom
dev

Conversation

@jm-rivera

Copy link
Copy Markdown
Contributor

Releases dev at 6d88d60 to main: #17, which titles a tool's landing page in the corpus manifest with the tool's name ("ODA reader") in place of its nav label ("Home").

The corpus branch publishes from dev alone, and website pins it by commit, so this merge changes no published artefact.

A source whose nav opens with its index page, such as oda_reader's
"Home: index.md", published that page as "Home". The entry the nav
folds into the source's landing now takes the source's sidecar title
("ODA reader", "IMF reader"), and one helper decides the landing for
both the nav and the page title.
@jm-rivera
jm-rivera merged commit 78433b1 into main Nov 2, 2026
9 checks passed
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.

1 participant