aboutsummaryrefslogtreecommitdiff
path: root/Makefile
blob: 2c9371f786046eb3d985b1427a9c6b96dd3d3bd3 (plain)
  1. SPEC=spec.txt
  2. SITE=_site
  3. SPECVERSION=$(shell perl -ne 'print $$1 if /^version: *([0-9.]+)/' $(SPEC))
  4. .PHONY: spec update-site upload-site
  5. spec: spec.html # spec.pdf
  6. spec.md: $(SPEC)
  7. python3 tools/makespec.py markdown > $@
  8. spec.html: spec.txt tools/template.html
  9. python3 tools/makespec.py html > $@
  10. spec.pdf: spec.md tools/template.tex tools/specfilter.hs
  11. pandoc -s $< --template tools/template.tex \
  12. --filter tools/specfilter.hs -o $@ --latex-engine=xelatex --toc \
  13. --number-sections -V documentclass=report -V tocdepth=2 \
  14. -V classoption=twosides
  15. ### Website ###
  16. update-site: spec
  17. make -C $(SITE) update
  18. upload-site: spec
  19. make -C $(SITE) upload