From 555b11f9bc557d7a00aca7aabe9e2536d3936cbb Mon Sep 17 00:00:00 2001 From: Herb Lewis Date: Wed, 11 Nov 1998 02:04:54 +0000 Subject: [PATCH] new directories for man page sources --- packaging/SGI/mkman | 20 ++++---------------- 1 file changed, 4 insertions(+), 16 deletions(-) diff --git a/packaging/SGI/mkman b/packaging/SGI/mkman index 4f14fafcdce..4de437d0ad8 100755 --- a/packaging/SGI/mkman +++ b/packaging/SGI/mkman @@ -1,27 +1,15 @@ #!/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 +cd ../../docs/manpages 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 + neqn $FILE | tbl | nroff -man > ../../packaging/SGI/catman/`basename $FILE` + compress -f ../../packaging/SGI/catman/`basename $FILE` done -cd ../packaging/SGI +cd ../../packaging/SGI