PY ?= python3
.PHONY: validate status build checks lean
validate: ; $(PY) scripts/pmap.py validate
status: ; $(PY) scripts/pmap.py status
build: ; $(PY) scripts/pmap.py build --no-pdf
checks: ; $(PY) scripts/pmap.py selftest
	$(PY) topics/example/checks/relations.py
lean: ; $(PY) scripts/pmap.py lean-check example
