index.html: index.tex dvi2html/dvi2html INSERT
	tex index.tex
	./dvi2html/dvi2html index.dvi > index.html
	cp INSERT /tmp/Note9
	ecce index.html < insert.ecc
	exit 0