diff options
Diffstat (limited to 'Doc/tools/mkhtml.sh')
| -rwxr-xr-x | Doc/tools/mkhtml.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Doc/tools/mkhtml.sh b/Doc/tools/mkhtml.sh index 68810f0..ab0c2fc 100755 --- a/Doc/tools/mkhtml.sh +++ b/Doc/tools/mkhtml.sh @@ -1,9 +1,11 @@ #! /bin/sh # -# Drive HTML generation for a Python manual. +# Drive HTML generation for a Python manual. # -# The first arg is required and is the designation for which manual to build; -# api, ext, lib, ref, or tut. All other args are passed on to latex2html. +# This is probably *not* useful outside of the standard Python documentation. +# +# The first arg is required and is the designation for which manual to build; +# api, ext, lib, ref, or tut. All other args are passed on to latex2html. WORKDIR=`pwd` cd `dirname $0`/.. @@ -19,7 +21,7 @@ if [ -d $part ] ; then rm -f $part/*.html fi -echo "latex2html -init_file $srcdir/perl/l2hinit.perl -dir $part " \ +echo "latex2html -init_file $srcdir/perl/l2hinit.perl -dir $part" \ "${1:+$@} $srcdir/$part/$part.tex" latex2html \ -init_file $srcdir/perl/l2hinit.perl \ |