*.html: *.md
	# Split file by header lines
	awk '($$1 == "#"){of = $$2 ".md"}{print > of}' devo.md
	ls 2*.md | xargs -I{} sh -c 'cat common.md {} |python3 -m markdown -f {}.html'
	# perl-rename
	# rename -f 's/.md.html/.html/' *.md.html
	# util-linux rename
	rename .md.html .html *.md.html