Skip to content

feat(docs): add rendered docs navigation#29

Merged
Grivn merged 1 commit into
masterfrom
docs/private-docs-renderer
May 19, 2026
Merged

feat(docs): add rendered docs navigation#29
Grivn merged 1 commit into
masterfrom
docs/private-docs-renderer

Conversation

@Grivn
Copy link
Copy Markdown
Member

@Grivn Grivn commented May 19, 2026

Summary

  • add a lightweight Python renderer for serving docs/ Markdown as HTML without generating checked-in HTML
  • add a docs landing page that links to the rendered docs tree and existing visual site pages under docs/site/*/index.html
  • update harness docs links from old site.html paths to the new index.html visualization paths

Validation

  • python3 -m py_compile docs/server/render_docs.py
  • relative docs link check: missing=0

@Grivn Grivn force-pushed the docs/private-docs-renderer branch 2 times, most recently from 8b49cb1 to 7b31a34 Compare May 19, 2026 16:26
Add a lightweight Python renderer that serves docs/ Markdown as HTML without generating checked-in HTML. The site root now acts as a developer navigation page, while the docs tree exposes Markdown, diagrams, and the existing visual pages through docs/site/*/index.html.

Update harness links to point at the new index.html visualization paths and ignore Python bytecode caches.

Validation: python3 -m py_compile docs/server/render_docs.py; relative docs link check reported missing=0.
@Grivn Grivn force-pushed the docs/private-docs-renderer branch from 7b31a34 to ced6cba Compare May 19, 2026 16:28
@Grivn Grivn changed the title feat(docs): add private rendered docs site feat(docs): add rendered docs navigation May 19, 2026
@Grivn Grivn merged commit 8bf4e42 into master May 19, 2026
1 check passed
@Grivn Grivn deleted the docs/private-docs-renderer branch May 19, 2026 16:31
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