1 files changed, 27 insertions, 0 deletions
diff --git a/packaging/SGI/mkman b/packaging/SGI/mkman
new file mode 100755
index 00000000000..4f14fafcdce
--- /dev/null
+++ b/packaging/SGI/mkman
@@ -0,0 +1,27 @@
+#!/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
+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
+done
+cd ../packaging/SGI