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 336d6df..e0f34b8 100755
--- a/Doc/tools/mkhtml.sh
+++ b/Doc/tools/mkhtml.sh
@@ -21,7 +21,10 @@
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