Skip to content

Add /manual/ CLI reference page generated from MANUAL.md#168

Merged
Koukyosyumei merged 1 commit into
mainfrom
manual-page
Jun 19, 2026
Merged

Add /manual/ CLI reference page generated from MANUAL.md#168
Koukyosyumei merged 1 commit into
mainfrom
manual-page

Conversation

@Koukyosyumei

Copy link
Copy Markdown
Collaborator
  • New docs/manual/index.html: the full h5i CLI reference rendered into the site shell (dark/red theme, sticky sidebar TOC + scrollspy), generated from MANUAL.md via scripts/gen_manual.py (python-markdown, GitHub-compatible heading slugs so in-doc cross-refs resolve)
  • scripts/gen_manual.py: reproducible generator for the page
  • Repoint all 41 GitHub-MANUAL.md links (footers, Read-the-Manual CTAs, FAQ) to /manual/; add a Manual nav item to the top-level pages; add the sitemap entry
  • Fix stale org reference in MANUAL.md install snippet (Koukyosyumei/h5i -> h5i-dev/h5i)

- New docs/manual/index.html: the full h5i CLI reference rendered into
  the site shell (dark/red theme, sticky sidebar TOC + scrollspy),
  generated from MANUAL.md via scripts/gen_manual.py (python-markdown,
  GitHub-compatible heading slugs so in-doc cross-refs resolve)
- scripts/gen_manual.py: reproducible generator for the page
- Repoint all 41 GitHub-MANUAL.md links (footers, Read-the-Manual CTAs,
  FAQ) to /manual/; add a Manual nav item to the top-level pages; add
  the sitemap entry
- Fix stale org reference in MANUAL.md install snippet
  (Koukyosyumei/h5i -> h5i-dev/h5i)
@Koukyosyumei Koukyosyumei merged commit a0d6eed into main Jun 19, 2026
5 checks passed
@Koukyosyumei Koukyosyumei deleted the manual-page branch June 19, 2026 13:59
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