type-theory/Makefile
2024-05-20 02:40:03 -05:00

22 lines
No EOL
511 B
Makefile

GENDIR := html/src/generated
build-to-html:
find src/HottBook \( -name "*.agda" -o -name "*.lagda.md" \) -print0 \
| rust-parallel -0 agda \
--html \
--html-dir=$(GENDIR) \
--allow-unsolved-metas \
--html-highlight=auto \
|| true
fd --no-ignore "html$$" $(GENDIR) -x rm
build-book: build-to-html
mdbook build html
refresh-book: build-to-html
mdbook serve html
deploy: build-book
rsync -azrP html/book/ root@veil:/home/blogDeploy/public/hott-book
.PHONY: build-book build-to-html deploy