touch $< -r $(basename $<).orig.tex # avoid warning that *.tex is newer than *.aux
-$(LATEX2HTML) -split 5 -show_section_numbers -local_icons -info "" -dir $(MANUAL).html $(MANUAL)
mv $(basename $<).orig.tex $<
touch $< -r $(basename $<).orig.tex # avoid warning that *.tex is newer than *.aux
-$(LATEX2HTML) -split 5 -show_section_numbers -local_icons -info "" -dir $(MANUAL).html $(MANUAL)
mv $(basename $<).orig.tex $<