Doc/tools/mkinfo

   1 #! /bin/sh
   2 #  -*- Ksh -*-
   3
   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.
   7 #
   8 #  Written by Fred L. Drake, Jr. <fdrake@acm.org>
   9
  10 PERL=${PERL:-perl}
  11 EMACS=${EMACS:-emacs}
  12 MAKEINFO=${MAKEINFO:-makeinfo}
  13
  14
  15 # Normalize file name since something called by html2texi.pl seems to
  16 # screw up with relative path names.
  17 FILENAME="$1"
  18 DOCDIR=`dirname "$FILENAME"`
  19 DOCFILE=`basename "$FILENAME"`
  20 DOCNAME=`basename "$FILENAME" .html`
  21
  22 # Now build the real directory names, and locate our support stuff:
  23 WORKDIR=`pwd`
  24 cd `dirname $0`
  25 TOOLSDIR=`pwd`
  26 cd $DOCDIR
  27 DOCDIR=`pwd`
  28 cd $WORKDIR
  29
  30
  31 run() {
  32     # show what we're doing, like make does:
  33     echo "$*"
  34     $* || exit $?
  35 }
  36
  37
  38 # generate the Texinfo file:
  39
  40 run $PERL -I$TOOLSDIR $TOOLSDIR/html2texi.pl $DOCDIR/$DOCFILE
  41 run $EMACS -batch -l $TOOLSDIR/fixinfo.el $DOCNAME.texi
  42 rm -f $DOCNAME.texi~
  43
  44
  45 # generate the .info files:
  46
  47 run $MAKEINFO --footnote-style end --fill-column 72 \
  48               --paragraph-indent 0 $DOCNAME.texi