diff options
| -rwxr-xr-x | Doc/tools/mkhtml.sh | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/Doc/tools/mkhtml.sh b/Doc/tools/mkhtml.sh new file mode 100755 index 0000000..336d6df --- /dev/null +++ b/Doc/tools/mkhtml.sh @@ -0,0 +1,27 @@ +#! /bin/sh +# +# 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. + +WORKDIR=`pwd` +cd `dirname $0`/.. +srcdir=`pwd` +cd $WORKDIR + +part=$1; shift 1 + +TEXINPUTS=$srcdir/$part:$TEXINPUTS +export TEXINPUTS + +if [ -d $part ] ; then + (set -x; rm -f $part/*.html) +fi + +set -x + +latex2html -init_file $srcdir/perl/l2hinit.perl ${1:+$@} $srcdir/$part/$part + +cd $part +$srcdir/tools/node2label.pl *.html |