diff options
| -rw-r--r-- | gnu/usr.bin/man/catman/catman.sh | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/gnu/usr.bin/man/catman/catman.sh b/gnu/usr.bin/man/catman/catman.sh index e5d23e1..456cb57 100644 --- a/gnu/usr.bin/man/catman/catman.sh +++ b/gnu/usr.bin/man/catman/catman.sh @@ -7,17 +7,19 @@ MANDIR=/usr/share/man formatman() { suffix=`echo $1 | sed -e 's/.*\\.//'` - echo " "$1 "->" $* (cd cat$section; rm -f $*) if [ ".$suffix" = "%compext%" ]; then - %zcat% man$section/$1 | nroff -man | %compress% > cat$section/$1 + adds= + %zcat% man$section/$1 | nroff -man | %compress% > cat$section/$1$adds else - nroff -man < man$section/$1 > cat$section/$1 + adds=%compext% + nroff -man < man$section/$1 | %compress% > cat$section/$1$adds fi - catfile=$1; shift + echo " "$* "->" $1$adds + catfile=$1$adds; shift while [ $# -gt 0 ] do - ln cat$section/$catfile cat$section/$1 + ln cat$section/$catfile cat$section/$1$adds shift done } |
