diff options
Diffstat (limited to 'packaging/SGI/mkman')
-rwxr-xr-x | packaging/SGI/mkman | 22 |
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 |