1 files changed, 22 insertions, 0 deletions
diff --git a/packaging/SGI/mkman b/packaging/SGI/mkman
new file mode 100755
index 0000000000..fedeb4d719
--- /dev/null
+++ b/packaging/SGI/mkman
@@ -0,0 +1,22 @@
+#!/bin/sh
+
+if [ ! -d catman ]; then
+   mkdir catman
+fi
+
+# if you wish to make html versions of the man pages then uncomment
+# the following section and the "rman" command below
+#
+# if [ ! -d html ]; then
+#    mkdir html
+# fi
+
+FILES="*.?"
+
+cd ../../docs
+for FILE in  $FILES ; do
+   neqn $FILE | tbl | nroff -man > ../packaging/SGI/catman/`basename $FILE`
+   compress -f ../packaging/SGI/catman/`basename $FILE`
+#    rman -f html -r "%s.%s.html"  $FILE > ../packaging/SGI/html/$FILE.html
+done
+cd ../packaging/SGI