Doc/tools/mkinfo

   1 #! /bin/sh
   2 #  -*- Ksh -*-
   3
   4 #  Script to drive the HTML-info conversion process.
   5 #  Pass in upto three parameters:
   6 #  - the name of the main tex file
   7 #  - the name of the output file in texi format (optional)
   8 #  - the name of the output file in info format (optional)
   9 #
  10 #  Written by Fred L. Drake, Jr. <fdrake@acm.org>
  11
  12 EMACS=${EMACS:-emacs}
  13 MAKEINFO=${MAKEINFO:-makeinfo}
  14
  15
  16 # Normalize file name since something called by html2texi.pl seems to
  17 # screw up with relative path names.
  18 FILENAME="$1"
  19 DOCDIR=`dirname "$FILENAME"`
  20 DOCFILE=`basename "$FILENAME"`
  21 DOCNAME=`basename "$FILENAME" .tex`
  22 if [ $# -gt 1 ]; then
  23     TEXINAME="$2"
  24 else
  25     TEXINAME="python-$DOCNAME.texi"
  26 fi
  27 if [ $# -gt 2 ]; then
  28     INFONAME="$3"
  29 else
  30     INFONAME="python-$DOCNAME.info"
  31 fi
  32
  33 # Now build the real directory names, and locate our support stuff:
  34 WORKDIR=`pwd`
  35 cd `dirname $0`
  36 TOOLSDIR=`pwd`
  37 cd $DOCDIR
  38 DOCDIR=`pwd`
  39 cd $WORKDIR
  40
  41
  42 run() {
  43     # show what we're doing, like make does:
  44     echo "$*"
  45     "$@" || exit $?
  46 }
  47
  48
  49 # generate the Texinfo file:
  50
  51 run $EMACS -batch -q --no-site-file -l $TOOLSDIR/py2texi.el \
  52     --eval "(setq py2texi-dirs '(\"./\" \"../texinputs/\" \"$DOCDIR\"))" \
  53     --eval "(setq py2texi-texi-file-name \"$TEXINAME\")" \
  54     --eval "(setq py2texi-info-file-name \"$INFONAME\")" \
  55     --eval "(py2texi \"$DOCDIR/$DOCFILE\")" \
  56     -f kill-emacs
  57 echo Done
  58
  59
  60 # generate the .info files:
  61
  62 run $MAKEINFO --footnote-style end --fill-column 72 \
  63               --paragraph-indent 0 --output=$INFONAME $TEXINAME