diff options
| -rwxr-xr-x | Doc/tools/mkhtml.sh | 5 |
1 files changed, 4 insertions, 1 deletions
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 @@ 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 |