+# $(PERL) $(COLLATEINDEX) -N -o index.sgml
+# $(JADE) -t sgml -V html-index -d $(SGMLSTYLESHEET) -c $(DOCBOOK_CATALOG) $<
+# $(PERL) $(COLLATEINDEX) -N -o index.sgml
+ $(SGML2HTML) $(SGML2HTML_OPTS) $<
+# touch the .html file so that it is seen to be built
+ @touch $@
+
+%.html : %.tex
+ @$(RM) $@
+ $(HEVEA) $(HEVEA_OPTS) $(patsubst %.tex,%.hva,$<) $<
+ $(HEVEA) $(HEVEA_OPTS) $(patsubst %.tex,%.hva,$<) $<
+ $(HACHA) $(HACHA_OPTS) $(patsubst %.tex,%.html,$<)
+# Run HeVeA twice to resolve labels