summaryrefslogtreecommitdiff
path: root/AGENTS.md
diff options
context:
space:
mode:
Diffstat (limited to 'AGENTS.md')
-rw-r--r--AGENTS.md5
1 files changed, 1 insertions, 4 deletions
diff --git a/AGENTS.md b/AGENTS.md
index 25dcdd618..6bd64c377 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -127,10 +127,7 @@ cd test/unit-test && ceedling test:all # or ceedling test:test_fifo
## Documentation
-```bash
-pip install -r docs/requirements.txt
-cd docs && sphinx-build -b html . _build # ~2.5 s
-```
+Sphinx docs in `docs/` (reStructuredText `.rst` or Markdown `.md` via MyST). Use the `build-doc` skill (`.claude/skills/build-doc/SKILL.md`) to build/preview locally (`sphinx-build`) and to regenerate auto-generated files (`tools/gen_doc.py` + `tools/gen_presets.py`) after adding a board or dependency.
## Code Size Metrics