path: root/doc/Makefile

all: Tutorial.html

.PHONY:

ttms:
	pack build setoid-doc.ipkg

%.html: .PHONY
	pack run katla markdown --config ./setoid-doc-style.dhall sources/$*.md ./build/ttc/$*.ttm \
  | pandoc -o $*.html

install-deps:
	pack install-deps setoid-doc.ipkg