diff options
| author | jkh <jkh@FreeBSD.org> | 1998-04-26 08:34:26 +0000 |
|---|---|---|
| committer | jkh <jkh@FreeBSD.org> | 1998-04-26 08:34:26 +0000 |
| commit | 0131e941ca8362ee149686a0da50bccf53e4f56a (patch) | |
| tree | 2385bad6a335fcde8f9c1dfc8949b814b5d9fb88 /release | |
| parent | 01c6cd5a654c11300d0374e3f8bed9426e6246fd (diff) | |
| download | FreeBSD-src-0131e941ca8362ee149686a0da50bccf53e4f56a.zip FreeBSD-src-0131e941ca8362ee149686a0da50bccf53e4f56a.tar.gz | |
Add the whatis database to catpages too
Diffstat (limited to 'release')
| -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 b06732f..f09cd3d 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 |
