diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 20 |
1 files changed, 19 insertions, 1 deletions
@@ -22,7 +22,7 @@ MAN5DIR := $(PREFIX)/share/man/man5 # over documenting the dune commands. DUNE := opam exec -- -.PHONY: help build test check check-schema check-templates install uninstall reinstall clean fmt man doc release +.PHONY: help build test check check-schema check-templates check-citations install uninstall reinstall clean fmt man doc release help: ## show this help @grep -hE '^[a-z-]+:.*##' $(MAKEFILE_LIST) | sed -E 's/:.*## /\t/' | sort @@ -84,6 +84,24 @@ check-templates: build ## typeset every shipped template (needs pdflatex/groff; else echo "SKIPPED: groff not installed -- groff templates render but are NOT typeset"; fi; \ test $$ok -eq 1 +# lang/la.ini's own discipline: every celebration/season/rank name cites the +# docs/research/LT.txt line it was transcribed from, so a claim can be +# checked, not just trusted. tools/check_citations.py re-derives that check +# mechanically: for every "LT.txt:<n>" citation outside a PATTERN-marked +# block, it confirms a +-2-line window around line n actually contains the +# Latin text the citation claims -- see that script's own docstring for the +# exact rule and its known limits (a heuristic, not a proof). docs/ is +# gitignored, so a fresh clone has no docs/research/LT.txt at all: the same +# "SKIPPED, loudly, exit 0" discipline check-schema/check-templates already +# use above -- a silent skip reads as a pass, which this project has hit +# the cost of before. +check-citations: ## verify lang/la.ini's LT.txt:<n> citations (needs docs/research/LT.txt, gitignored; SKIPPED if absent) + @if command -v python3 >/dev/null 2>&1; then \ + python3 tools/check_citations.py; \ + else \ + echo "SKIPPED: python3 not installed -- citations NOT verified this run"; \ + fi + install: build ## install binary, calendar data, templates, schema and man pages into PREFIX (default ~/.local) $(DUNE) dune install --prefix $(PREFIX) @mkdir -p $(MANDIR) |