EXTRA_DIST = index.txt index.html

index.html: index.txt
	asciidoc -n -a toc index.txt