1999-01-08 11:27:17 -04:00
|
|
|
#! /bin/sh
|
|
|
|
# -*- Ksh -*-
|
|
|
|
|
1999-01-08 11:32:27 -04:00
|
|
|
# Script to drive the HTML-info conversion process.
|
|
|
|
# Pass in a single parameter: the name of the top-level HTML file
|
|
|
|
# generated by LaTeX2HTML.
|
|
|
|
#
|
|
|
|
# Written by Fred L. Drake, Jr. <fdrake@acm.org>
|
1999-01-08 11:27:17 -04:00
|
|
|
|
|
|
|
PERL=${PERL:-perl}
|
|
|
|
EMACS=${EMACS:-emacs}
|
|
|
|
MAKEINFO=${MAKEINFO:-makeinfo}
|
|
|
|
|
|
|
|
|
|
|
|
# Normalize file name since something called by html2texi.pl seems to
|
|
|
|
# screw up with relative path names.
|
|
|
|
FILENAME="$1"
|
|
|
|
DOCDIR=`dirname "$FILENAME"`
|
|
|
|
DOCFILE=`basename "$FILENAME"`
|
2002-05-03 01:50:51 -03:00
|
|
|
DOCNAME=`basename "$FILENAME" .tex`
|
|
|
|
if [ $# -gt 1 ]; then
|
|
|
|
INFONAME="$2"
|
|
|
|
else
|
|
|
|
INFONAME="python-$DOCNAME.info"
|
|
|
|
fi
|
1999-01-08 11:27:17 -04:00
|
|
|
|
1999-01-08 11:32:27 -04:00
|
|
|
# Now build the real directory names, and locate our support stuff:
|
1999-01-08 11:27:17 -04:00
|
|
|
WORKDIR=`pwd`
|
|
|
|
cd `dirname $0`
|
|
|
|
TOOLSDIR=`pwd`
|
|
|
|
cd $DOCDIR
|
|
|
|
DOCDIR=`pwd`
|
|
|
|
cd $WORKDIR
|
|
|
|
|
|
|
|
|
|
|
|
run() {
|
1999-01-08 11:32:27 -04:00
|
|
|
# show what we're doing, like make does:
|
|
|
|
echo "$*"
|
2002-05-03 01:50:51 -03:00
|
|
|
"$@" || exit $?
|
1999-01-08 11:27:17 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
# generate the Texinfo file:
|
|
|
|
|
2002-05-03 01:50:51 -03:00
|
|
|
run $EMACS -batch -q --no-site-file -l $TOOLSDIR/py2texi.el \
|
|
|
|
--eval "(setq py2texi-dirs '(\"./\" \"../texinputs/\" \"$DOCDIR\"))" \
|
|
|
|
--eval "(py2texi \"$DOCDIR/$DOCFILE\")" \
|
|
|
|
-f kill-emacs
|
|
|
|
echo Done
|
1999-01-08 11:27:17 -04:00
|
|
|
|
|
|
|
|
|
|
|
# generate the .info files:
|
|
|
|
|
|
|
|
run $MAKEINFO --footnote-style end --fill-column 72 \
|
2002-05-03 01:50:51 -03:00
|
|
|
--paragraph-indent 0 --output=$INFONAME $DOCNAME.texi
|