cpython/Doc/tools/mkinfo
1999-01-08 15:32:27 +00:00

49 lines
1.0 KiB
Bash
Executable File

#! /bin/sh
# -*- Ksh -*-
# 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>
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"`
DOCNAME=`basename "$FILENAME" .html`
# Now build the real directory names, and locate our support stuff:
WORKDIR=`pwd`
cd `dirname $0`
TOOLSDIR=`pwd`
cd $DOCDIR
DOCDIR=`pwd`
cd $WORKDIR
run() {
# show what we're doing, like make does:
echo "$*"
$* || exit $?
}
# generate the Texinfo file:
run $PERL -I$TOOLSDIR $TOOLSDIR/html2texi.pl $DOCDIR/$DOCFILE
run $EMACS -batch -l $TOOLSDIR/fixinfo.el $DOCNAME.texi
rm -f $DOCNAME.texi~
# generate the .info files:
run $MAKEINFO --footnote-style end --fill-column 72 \
--paragraph-indent 0 $DOCNAME.texi