diff options
| author | jkh <jkh@FreeBSD.org> | 1997-06-21 15:56:50 +0000 |
|---|---|---|
| committer | jkh <jkh@FreeBSD.org> | 1997-06-21 15:56:50 +0000 |
| commit | db73f6494a8d9127417e8ddf01f5b7c8fa81276b (patch) | |
| tree | 999e075397f0edc26b623f6bea708be72ec48126 /release | |
| parent | 84e984b24fe194809830f9f9aac969d7c0b2919c (diff) | |
| download | FreeBSD-src-db73f6494a8d9127417e8ddf01f5b7c8fa81276b.zip FreeBSD-src-db73f6494a8d9127417e8ddf01f5b7c8fa81276b.tar.gz | |
Shut up catman output.
Diffstat (limited to 'release')
| -rwxr-xr-x | release/scripts/catpages-make.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/scripts/catpages-make.sh b/release/scripts/catpages-make.sh index ac3a9b3..b06732f 100755 --- a/release/scripts/catpages-make.sh +++ b/release/scripts/catpages-make.sh @@ -3,7 +3,7 @@ # Create the catpages dist - must follow manpages dist script, for obvious # reasons. if [ -d ${RD}/trees/manpages/usr/share/man ]; then - su -m man -c 'catman ${RD}/trees/manpages/usr/share/man'; + su -m man -c 'catman ${RD}/trees/manpages/usr/share/man' > /dev/null 2>&1; ( cd ${RD}/trees/manpages/usr/share/man; find cat* | cpio -dumpl ${RD}/trees/catpages/usr/share/man ) && rm -rf ${RD}/trees/manpages/usr/share/man/cat*; |
