packaging/SGI/mkman

   1 #!/bin/sh
   2 # if you wish to make html versions of the man pages then add the
   3 # argument html when calling this script. You must have rman installed.
   4 #
   5
   6 if [ ! -d catman ]; then
   7    mkdir catman
   8 fi
   9
  10 if [ "$1" = "html" ]; then
  11   if [ ! -d html ]; then
  12      mkdir html
  13   fi
  14 fi
  15
  16
  17 FILES="*.?"
  18
  19 cd ../../docs
  20 for FILE in  $FILES ; do
  21    neqn $FILE | tbl | nroff -man > ../packaging/SGI/catman/`basename $FILE`
  22    compress -f ../packaging/SGI/catman/`basename $FILE`
  23    if [ "$1" = "html" ]; then
  24       rman -f html -r "%s.%s.html"  $FILE > ../packaging/SGI/html/$FILE.html
  25    fi
  26 done
  27 cd ../packaging/SGI