6 # Move all the catpages out to their own dist, using the base dist as a
7 # starting point. This must precede the manpages dist script.
8 if [ -d ${RD}/trees/base/usr/share/man ]; then
9 ( cd ${RD}/trees/base/usr/share/man;
10 find cat* whatis | cpio -dumpl ${RD}/trees/catpages/usr/share/man > /dev/null 2>&1) &&
11 rm -rf ${RD}/trees/base/usr/share/man/cat*;