Skip to content

docs: publish the user documentation as a Zensical site on GitHub Pages - #27

Merged
ancelin-code merged 3 commits into
developfrom
docs/user-documentation-site
Oct 29, 2026
Merged

ancelin-code merged 3 commits into
developfrom
docs/user-documentation-site

Conversation

@ancelin-code

Copy link
Copy Markdown
Owner

Task docs-001 (delivery/tasks/docs-001.md).

  • Zensical 0.0.73 (pinned), zensical.toml, mise run docs:build (strict, produces llms.txt).
  • Pages: Home, Install (VPS), Connect (Claude Desktop), Reference (CLI). ADRs, contracts, brief and research stay out of the site.
  • docs/install/vps.md now pulls the published image instead of building it.
  • docs/reference/cli.md: the 0.1.0 tiroir admin commands, usage blocks checked against the real --help.
  • .github/workflows/docs.yml: build on pull requests, deploy to GitHub Pages on push to develop.
  • README slimmed; AGENTS.md gains the rule that a milestone is not delivered until the site documents it.

Not verified: the Pages deployment, which only runs from develop. Pages must be set to publish from GitHub Actions in the repository settings before the first deploy. Locally 79 tests fail for lack of FTS5 in this machine's SQLite; the suite passes in a container (532 passed).

🤖 Generated with Claude Code

ancelin-code and others added 3 commits October 29, 2026 17:26
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@ancelin-code
ancelin-code merged commit 7fa1748 into develop Oct 29, 2026
4 checks passed
@ancelin-code
ancelin-code deleted the docs/user-documentation-site branch October 29, 2026 16:50
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