blob: 940d934160aa997b625373cc4ef2b3f12afc0666 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
#! /bin/sh
#
# Drive HTML generation for a Python manual.
#
# This is probably *not* useful outside of the standard Python documentation,
# but suggestions are welcome and should be sent to <python-docs@python.org>.
#
# 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
rm -f $part/*.html
fi
echo "latex2html -init_file $srcdir/perl/l2hinit.perl -dir $part" \
"${1:+$@} $srcdir/$part/$part.tex"
latex2html \
-init_file $srcdir/perl/l2hinit.perl \
-address '<hr>Send comments to <a href="mailto:python-docs@python.org">python-docs@python.org</a>.' \
-dir $part \
${1:+$@} \
$srcdir/$part/$part.tex || exit $?
echo "(cd $part; $srcdir/tools/node2label.pl \*.html)"
cd $part
$srcdir/tools/node2label.pl *.html || exit $?
|
