index.html: index.txt
	asciidoc index.txt