mirror of
https://git.FreeBSD.org/src.git
synced 2024-12-04 09:09:56 +00:00
13 lines
383 B
Bash
Executable File
13 lines
383 B
Bash
Executable File
#!/bin/sh
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
# 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
|