3 if [ ! -d catman ]; then
7 # if you wish to make html versions of the man pages then uncomment
8 # the following section and the "rman" command below
10 # if [ ! -d html ]; then
17 for FILE in $FILES ; do
18 neqn $FILE | tbl | nroff -man > ../packaging/SGI/catman/`basename $FILE`
19 compress -f ../packaging/SGI/catman/`basename $FILE`
20 # rman -f html -r "%s.%s.html" $FILE > ../packaging/SGI/html/$FILE.html