From 8920156d045d82b833b331723ef051fb670a924e Mon Sep 17 00:00:00 2001 From: Fred Drake Date: Thu, 7 May 1998 14:53:55 +0000 Subject: New script to drive HTML generation. --- Doc/tools/mkhtml.sh | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100755 Doc/tools/mkhtml.sh 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 -- cgit v0.12