Some versions of latex2html don't automatically append the .tex extension to

the name of the main .tex source file if it's not in the current directory.

diff --git a/Doc/tools/mkhtml.sh b/Doc/tools/mkhtml.sh
index 336d6df549046d06733f26a95401f31d380e12bd..e0f34b8c56bd3071cbfbda2ac346558add165950 100755 (executable)
--- a/Doc/tools/mkhtml.sh
+++ b/Doc/tools/mkhtml.sh
@@ -21,7 +21,10 @@ fi
 
 set -x
 
-latex2html -init_file $srcdir/perl/l2hinit.perl ${1:+$@} $srcdir/$part/$part
+latex2html \
+ -init_file $srcdir/perl/l2hinit.perl \
+ ${1:+$@} \
+ $srcdir/$part/$part.tex
 
 cd $part
 $srcdir/tools/node2label.pl *.html