1998-05-07 11:53:55 -03:00
|
|
|
#! /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
|
1998-05-11 15:41:16 -03:00
|
|
|
rm -f $part/*.html
|
1998-05-07 11:53:55 -03:00
|
|
|
fi
|
|
|
|
|
1998-05-15 14:14:17 -03:00
|
|
|
echo "latex2html -init_file $srcdir/perl/l2hinit.perl -dir $part " \
|
|
|
|
"${1:+$@} $srcdir/$part/$part.tex"
|
1998-05-08 01:00:56 -03:00
|
|
|
latex2html \
|
|
|
|
-init_file $srcdir/perl/l2hinit.perl \
|
1998-05-15 14:14:17 -03:00
|
|
|
-dir $part \
|
1998-05-08 01:00:56 -03:00
|
|
|
${1:+$@} \
|
|
|
|
$srcdir/$part/$part.tex
|
1998-05-07 11:53:55 -03:00
|
|
|
|
1998-05-11 15:41:16 -03:00
|
|
|
echo '(cd '$part'; '$srcdir'/tools/node2label.pl *.html)'
|
1998-05-07 11:53:55 -03:00
|
|
|
cd $part
|
|
|
|
$srcdir/tools/node2label.pl *.html
|