new directories for man page sources

(This used to be commit 555b11f9bc557d7a00aca7aabe9e2536d3936cbb)

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
-# 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 [ "$1" = "html" ]; then
-  if [ ! -d html ]; then
-     mkdir html
-  fi
-fi
-
 
 FILES="*.?"
 
-cd ../../docs
+cd ../../docs/manpages
 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
-cd ../packaging/SGI
+cd ../../packaging/SGI