summaryrefslogtreecommitdiff
path: root/packaging/SGI/mkman
diff options
context:
space:
mode:
Diffstat (limited to 'packaging/SGI/mkman')
-rwxr-xr-xpackaging/SGI/mkman22
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