version 1.3, 1993/04/02 09:43:41 |
version 1.4, 1993/04/03 01:12:23 |
|
|
echo "Running calendar:" |
echo "Running calendar:" |
calendar -a |
calendar -a |
|
|
if [ -d /usr/share/man -a -f /usr/share/man/makewhatis.sed ]; then |
|
echo "" |
echo "" |
echo "Updating 'whatis' database:" |
echo "Making 'whatis' database:" |
cd /usr/share/man |
if [ -d /usr/share/man -a -f /usr/share/man/makewhatis.sed ]; then |
cat cat?/*.0 cat?/`machine`/*.0 | sed -f /usr/share/man/makewhatis.sed > /usr/share/man/whatis.db |
for file in `find /usr/share/man -type f -name '*.0' -print`; do \ |
cd / |
sed -n -f /usr/share/man/makewhatis.sed $file; \ |
|
done | sort -u > /tmp/whatis.db.$$ |
|
cp /tmp/whatis.db.$$ /usr/share/man/whatis.db |
|
chmod 644 /usr/share/man/whatis.db |
|
rm -f /tmp/whatis.db.$$ |
fi |
fi |
|
|
echo "" |
echo "" |