@@ -1,7 +1,18 @@
 lua != which lua
 luac != which luac
 
-cortav: cortav.lua
+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 -s -o - $< >> $@
+	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