*.gmi: *.md
	# Split file by header lines
	awk '($$1 == "#"){of = $$2 ".gmi"}{print > of}' devo.md