Skip to content

Document the Makefile and the dev tooling - #77

Merged
Maharsh17 merged 1 commit into
mainfrom
docs-dev-tooling
Aug 9, 2026
Merged

Document the Makefile and the dev tooling#77
Maharsh17 merged 1 commit into
mainfrom
docs-dev-tooling

Conversation

@Maharsh17

Copy link
Copy Markdown
Member

Closes #76

Brings the docs current with the Makefile and the ruff, prettier, and CI tooling.

What is here

  • A new Development guide covering the make targets, the ruff and prettier style, running the tests, and what CI checks on every pull request. It is linked from the nav and the quickstart.
  • make dev and make deploy surfaced in the quickstart, the deployment guide, and the readme, so the shared command vocabulary with lm-dashboard is the documented path.

No system behavior is described that changed. The site builds clean under mkdocs strict mode with no broken links.

Add a Development guide covering the make targets, the ruff and prettier
style, the tests, and CI, and link it from the nav and the quickstart.
Surface make dev and make deploy in the quickstart, deployment, and readme
so the shared command vocabulary is the documented path.
@Maharsh17
Maharsh17 merged commit dd2fc9b into main Aug 9, 2026
2 checks passed
@Maharsh17
Maharsh17 deleted the docs-dev-tooling branch August 9, 2026 21: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.

Document the Makefile and the dev tooling

1 participant