1997-06-21 15:42:17 +00:00
|
|
|
#!/bin/sh
|
2001-04-08 23:09:21 +00:00
|
|
|
#
|
|
|
|
|
# $FreeBSD$
|
|
|
|
|
#
|
1997-06-21 15:42:17 +00:00
|
|
|
|
2002-04-24 12:54:34 +00:00
|
|
|
# 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*;
|
1997-06-21 15:42:17 +00:00
|
|
|
fi
|
