4
# Script to drive the HTML-info conversion process.
5
# Pass in a single parameter: the name of the top-level HTML file
6
# generated by LaTeX2HTML.
8
# Written by Fred L. Drake, Jr. <fdrake@acm.org>
12
MAKEINFO=${MAKEINFO:-makeinfo}
15
# Normalize file name since something called by html2texi.pl seems to
16
# screw up with relative path names.
18
DOCDIR=`dirname "$FILENAME"`
19
DOCFILE=`basename "$FILENAME"`
20
DOCNAME=`basename "$FILENAME" .html`
22
# Now build the real directory names, and locate our support stuff:
32
# show what we're doing, like make does:
38
# generate the Texinfo file:
40
run $PERL -I$TOOLSDIR $TOOLSDIR/html2texi.pl $DOCDIR/$DOCFILE
41
run $EMACS -batch -l $TOOLSDIR/fixinfo.el $DOCNAME.texi
45
# generate the .info files:
47
run $MAKEINFO --footnote-style end --fill-column 72 \
48
--paragraph-indent 0 $DOCNAME.texi