#!/bin/sh # update the index for the manual echo "Updating manual indices" chroot ${INSTALL_DST} /usr/bin/catman -w -M/usr/share/man:/usr/local/man #TMP_SCRIPT=/var/tmp/makewhatis # #cat > ${INSTALL_DST}${TMP_SCRIPT} <