cortav  makefile at [bdd8d569a9]

File makefile artifact 5cfd42ea5f part of check-in bdd8d569a9


lua != which lua
luac != which luac

extens ?= $(patsubst ext/%.lua,%,$(wildcard ext/*.lua))
extens_srcs = $(patsubst %,ext/%.lua,$(extens))

cortav: sirsem.lua cortav.lua $(extens_srcs) cli.lua
	echo '#!$(lua)' > $@
	luac -o - $^ >> $@
	chmod +x $@

cortav.html: cortav.ct cortav
	./cortav $< -o $@ -m render:format html -y html:fossil-uv

.PHONY: syncdoc
syncdoc: cortav.html
	fossil uv add $<
	fossil uv sync