This commit is contained in:
Mariano Gabriel
2026-07-06 02:41:50 -03:00
parent 31ad8e5928
commit ef72d06bfe
6 changed files with 379 additions and 272 deletions

View File

@@ -67,7 +67,12 @@ PY := $(if $(PYTHON),$(PYTHON),python3)
MERGE_SRC ?=
MERGE_DST ?= docs-output
.PHONY: batch dry docs docs-dry merge merge-dry help
# Diagrams: graphviz .dot → .svg (both committed). Requires system graphviz
# (apt install graphviz). `make graphs` renders all docs/graphs/*.dot.
DOT_SRC := $(wildcard docs/graphs/*.dot)
SVG_OUT := $(DOT_SRC:.dot=.svg)
.PHONY: batch dry docs docs-dry merge merge-dry graphs help
batch:
@ctrl/batch.sh -i "$(IN)" -o "$(OUT)" $(if $(EXT),-e "$(EXT)") $(if $(LIST),-l "$(LIST)") -- \
@@ -100,5 +105,11 @@ merge-dry:
@test -n "$(MERGE_SRC)" || { echo "ERROR: MERGE_SRC is required" >&2; exit 1; }
@rsync -avn $(MERGE_EXCLUDES) "$(MERGE_SRC)/" "$(MERGE_DST)/"
docs/graphs/%.svg: docs/graphs/%.dot
dot -Tsvg $< -o $@
graphs: $(SVG_OUT)
@echo "rendered $(words $(SVG_OUT)) svg(s) from $(words $(DOT_SRC)) dot file(s)"
help:
@sed -n '3,14p' Makefile