# Shell file to update index
cp /usr/man/man.index /usr/man/man.bak
cat /usr/man/man.index /usr/man/user.index | sort | uniq > /usr/man/tmp
mv /usr/man/tmp /usr/man/man.index
