Skip to content

Publish a documentation site - #15

Merged
tauanbinato merged 2 commits into
mainfrom
docs-site
Sep 25, 2026
Merged

tauanbinato merged 2 commits into
mainfrom
docs-site

Conversation

@tauanbinato

Copy link
Copy Markdown
Contributor

What and why

Phase 4 of the roadmap: a documentation site at https://tech-byte-frontier.github.io/jevgate/ (mdBook, GitHub Pages).

  • Guide pages (site/src): install, quick start, what it finds, languages, CI, configuration, output, privacy and cost, how it works (with the evidence-unit document), limits and the changelog, taken from the README's sections; plus new pages on coding agents (checking before finishing, exit codes, JSON, --watch and serve) and troubleshooting (each exit-2 message and what to do, uncertain files, wrong findings, skipped files, colors).
  • Reference pages, generated by site/generate.py from the build: every rule from jevgate rules --format json, every configuration key, level and rule name from jevgate.schema.json, and every command's --help. They are not checked in, so they can't go stale.
  • Docs workflow: builds the site on pull requests that touch its sources; on main, publishes it to Pages (enabled with GitHub Actions as the source). mdBook is a pinned release checked against its SHA-256.

The README still holds the same text; slimming it to point at the site is a separate change.

How it was checked

site/build.sh builds with mdBook 0.5.4 without warnings, and every internal link and anchor in the built site resolves.

site/ is an mdBook: guide pages from the README's sections, pages on coding agents and troubleshooting, and rules, configuration and command-line reference pages generated from the binary, jevgate.schema.json and --help. The Docs workflow builds it on pull requests and publishes it to GitHub Pages from main.
@tauanbinato
tauanbinato merged commit 06424bf into main Sep 25, 2026
9 checks passed
@tauanbinato
tauanbinato deleted the docs-site branch September 25, 2026 22:29
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