+ rm -rf $(DESTDIR)$(docdir)
+
+$(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 -info "" -dir $(MANUAL).html $(MANUAL)
+ mv `basename $< .tex`.orig.tex $<
+
+$(TSS).html/index.html: $(TSS).tex
+ 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 0 -local_icons -info "" -dir $(TSS).html $(TSS)
+ mv `basename $< .tex`.orig.tex $<
+
+$(CDB).html/index.html: $(CDB).tex
+ 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 0 -show_section_numbers -local_icons -info "" -dir $(CDB).html $(CDB)
+ mv `basename $< .tex`.orig.tex $<