protocol.html: protocol.txt
	markdown $< > $@