doc.html: doc.yaml yaml2html
	rm -f $@
	./yaml2html $< >$@
	chmod ugo-w $@

clean:
	rm -f doc.html