| #! /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 |