TITLE="gas:"

%.html: %.md
	cat _header.html | sed -e 's!<title>gas:</title>!<title>$(TITLE)</title>!' > $@
	cmark $< >> $@
	echo "</div>" >> $@
	echo "</body>" >> $@
	echo "</html>" >> $@