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.

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