.PHONY: check quick build lint

check: lint
	python3 tools/check.py

quick:
	python3 tools/check.py --quick

build:
	python3 tools/build.py

lint:
	@if command -v markdownlint >/dev/null 2>&1; then markdownlint '**/*.md'; else echo "markdownlint not installed; skipped"; fi
