+$(MANUAL).html/index.html: $(MANUAL).tex $(MANUAL).ind ;#$(MANUAL).glo
+ mkdir -p `dirname $@`
+ # fixes latex2html problems with two consecutive dashes for long-options: --stack-auto
+ # fixes latex2html problems with \tabularnewline
+ mv $< `basename $< .tex`.orig.tex
+ sed 's,-\\/-,-\\/-\\/-,g' < `basename $< .tex`.orig.tex | \
+ sed 's,\\tabularnewline$$,\\\\,g' > $<
+ -latex2html -split 5 -show_section_numbers -local_icons -dir $(MANUAL).html $(MANUAL)
+ mv `basename $< .tex`.orig.tex $<