#!/bin/sh # update the index for the manual echo "Updating manual indices" TMP_SCRIPT=/var/tmp/makewhatis cat > ${BASE}${TMP_SCRIPT} <