1 files changed, 0 insertions, 22 deletions
diff --git a/packaging/SGI/mkman b/packaging/SGI/mkman
deleted file mode 100755
index fedeb4d7196..00000000000
--- a/packaging/SGI/mkman
+++ /dev/null
@@ -1,22 +0,0 @@
-#!/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