Skip to content

docs: separate mdBook sources and output #13

Description

@shayyz-code

Goal

Keep mdBook sources authoritative, remove generated output from Git, and define one reproducible local documentation build.

Scope

  • Stop tracking and ignore docs/book/.
  • Document mdBook 0.5.2 installation plus canonical build and test commands.
  • Update contributor, agent, and roadmap guidance.
  • Preserve the existing Oranda/GitHub Pages workflow.

Acceptance criteria

  • mdbook build docs regenerates ignored output from docs/src/.
  • mdbook test docs and oranda build pass.
  • Repository formatting, compilation, strict Clippy, tests, and workflow lint pass.
  • No documentation prose or language syntax changes.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions