diff options
Diffstat (limited to 'release/scripts/catpages-make.sh')
-rwxr-xr-x | release/scripts/catpages-make.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/release/scripts/catpages-make.sh b/release/scripts/catpages-make.sh deleted file mode 100755 index 755057d..0000000 --- a/release/scripts/catpages-make.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/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 |