doc/doc-scripts/BuildInfo

   1 #! /bin/sh
   2
   3 if [ "$1" = "filter" ]; then
   4 g2t -filter filter.src >filter.texinfo
   5 if [ $? != 0 ]; then exit 1; fi
   6 cd info
   7 makeinfo filter.texinfo
   8 if [ $? != 0 ]; then exit 1; fi
   9 echo ""
  10 echo info filter.info
  11 echo ""
  12 info -f ./filter.info
  13 exit
  14 fi
  15
  16 if [ "$1" = "" ]; then
  17 g2t spec.src >spec.texinfo
  18 if [ $? != 0 ]; then exit 1; fi
  19 cd info
  20 makeinfo spec.texinfo
  21 if [ $? != 0 ]; then exit 1; fi
  22 echo ""
  23 echo info spec.info
  24 echo ""
  25 info -f ./spec.info
  26 exit
  27 fi
  28
  29 echo "***Usage: null or filter argument required"
  30
  31 ####