diff options
author | ru <ru@FreeBSD.org> | 2002-04-24 12:54:34 +0000 |
---|---|---|
committer | ru <ru@FreeBSD.org> | 2002-04-24 12:54:34 +0000 |
commit | 406a2b145c60330b8babe83164ae4794e5d87c2e (patch) | |
tree | 6ab0aee90b18b122de4fad78d4431a1d8cb5f2d7 /release/scripts | |
parent | 5ec8e881ee3e863e94e6419b927e32c2eed0106c (diff) | |
download | FreeBSD-src-406a2b145c60330b8babe83164ae4794e5d87c2e.zip FreeBSD-src-406a2b145c60330b8babe83164ae4794e5d87c2e.tar.gz |
Build the catpages distribution in a more natural way.
Diffstat (limited to 'release/scripts')
-rwxr-xr-x | release/scripts/catpages-make.sh | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/release/scripts/catpages-make.sh b/release/scripts/catpages-make.sh index ea2c7b3..755057d 100755 --- a/release/scripts/catpages-make.sh +++ b/release/scripts/catpages-make.sh @@ -3,11 +3,10 @@ # $FreeBSD$ # -# 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' > /dev/null 2>&1; - ( cd ${RD}/trees/manpages/usr/share/man; - find cat* whatis | cpio -dumpl ${RD}/trees/catpages/usr/share/man ) && - rm -rf ${RD}/trees/manpages/usr/share/man/cat*; +# Move all the catpages out to their own dist, using the base dist as a +# starting point. This must precede the manpages dist script. +if [ -d ${RD}/trees/base/usr/share/man ]; then + ( cd ${RD}/trees/base/usr/share/man; + find cat* whatis | cpio -dumpl ${RD}/trees/catpages/usr/share/man > /dev/null 2>&1) && + rm -rf ${RD}/trees/base/usr/share/man/cat*; fi |