Skip to content

[TASK] Align the Makefile with the other documentation manuals - #423

Merged
linawolf merged 1 commit into
mainfrom
task/unify-make-targets
Sep 10, 2026
Merged

linawolf merged 1 commit into
mainfrom
task/unify-make-targets

Conversation

@linawolf

@linawolf linawolf commented Sep 9, 2026

Copy link
Copy Markdown
Member

The Makefiles across the documentation manuals had drifted apart: the
strict rendering target was named docs-test in one manual and test-docs in
the others, some ran --fail-on-log while their own CI ran --minimal-test,
two had lost make help to space indentation, and several help
descriptions were copy-paste leftovers from unrelated targets. They are
being unified on one shared block, so the same command means the same
thing in every manual.

This manual already used the agreed target names and flag, so only the
shared block's wording and spacing change here.

Also correct AGENTS.md, which described make test-docs as rendering in
fail-on-log mode while the Makefile used --minimal-test.

Assisted-by: Claude Opus 5 noreply@anthropic.com
Signed-off-by: Lina Wolf

The Makefiles across the documentation manuals had drifted apart: the
strict rendering target was named docs-test in one manual and test-docs in
the others, some ran --fail-on-log while their own CI ran --minimal-test,
two had lost `make help` to space indentation, and several help
descriptions were copy-paste leftovers from unrelated targets. They are
being unified on one shared block, so the same command means the same
thing in every manual.

This manual already used the agreed target names and flag, so only the
shared block's wording and spacing change here.

Also correct AGENTS.md, which described `make test-docs` as rendering in
fail-on-log mode while the Makefile used --minimal-test.

Assisted-by: Claude Opus 5 <noreply@anthropic.com>
Signed-off-by: Lina Wolf
@linawolf
linawolf merged commit e91d65c into main Sep 10, 2026
2 checks passed
@linawolf
linawolf deleted the task/unify-make-targets branch September 10, 2026 11:38
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