new directories for man page sources

diff --git a/packaging/SGI/mkman b/packaging/SGI/mkman
index 4f14fafcdceef61e9ecf73fcd3019a6e2645167f..4de437d0ad8209ba40e07735aada33eef6fd1e21 100755 (executable)
--- a/packaging/SGI/mkman
+++ b/packaging/SGI/mkman
@@ -1,27 +1,15 @@
 #!/bin/sh
 #!/bin/sh

-# if you wish to make html versions of the man pages then add the
-# argument html when calling this script. You must have rman installed.
-#

 
 if [ ! -d catman ]; then
    mkdir catman
 fi
 
 
 if [ ! -d catman ]; then
    mkdir catman
 fi
 

-if [ "$1" = "html" ]; then
-  if [ ! -d html ]; then
-     mkdir html
-  fi
-fi
-

 
 FILES="*.?"
 
 
 FILES="*.?"
 

-cd ../../docs
+cd ../../docs/manpages

 for FILE in  $FILES ; do
 for FILE in  $FILES ; do

-   neqn $FILE | tbl | nroff -man > ../packaging/SGI/catman/`basename $FILE`
-   compress -f ../packaging/SGI/catman/`basename $FILE`
-   if [ "$1" = "html" ]; then
-      rman -f html -r "%s.%s.html"  $FILE > ../packaging/SGI/html/$FILE.html
-   fi
+   neqn $FILE | tbl | nroff -man > ../../packaging/SGI/catman/`basename $FILE`
+   compress -f ../../packaging/SGI/catman/`basename $FILE`

 done
 done

-cd ../packaging/SGI
+cd ../../packaging/SGI