diff options
| author | Jordan K. Hubbard <jkh@FreeBSD.org> | 1998-04-26 08:34:26 +0000 |
|---|---|---|
| committer | Jordan K. Hubbard <jkh@FreeBSD.org> | 1998-04-26 08:34:26 +0000 |
| commit | 0fc857608592b5a4d70342d1cd21fa39b3729490 (patch) | |
| tree | 7cbe6270d4ed3ef02306cc643a4311bcdf5838b0 | |
| parent | 5708bd42282d5199f2fcf8d2f836fbbdd7d068b1 (diff) | |
Notes
| -rwxr-xr-x | release/scripts/catpages-make.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/scripts/catpages-make.sh b/release/scripts/catpages-make.sh index b06732f27739..f09cd3d39f03 100755 --- a/release/scripts/catpages-make.sh +++ b/release/scripts/catpages-make.sh @@ -5,6 +5,6 @@ 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* | cpio -dumpl ${RD}/trees/catpages/usr/share/man ) && + find cat* whatis | cpio -dumpl ${RD}/trees/catpages/usr/share/man ) && rm -rf ${RD}/trees/manpages/usr/share/man/cat*; fi |