if [ -z "$PKG_INSTALL_ROOT" ]; then BASE=$CLIENT_BASEDIR else BASE=${PKG_INSTALL_ROOT}$CLIENT_BASEDIR fi PATH=${PATH}:/usr/sfw/bin:/sbin:/bin:/usr/bin:/usr/local/bin export PATH INSTINFO=`which install-info | cut -f1 -d\ ` if [ -w ${BASE}/share/info/dir ]; then if [ -z "$INSTINFO" -o "$INSTINFO" = "no" ]; then echo " " echo "WARNING: Unable to find install-info for removing info files" echo " from ${BASE}/share/info/dir. Use the following commands" echo " to do that manually: " echo " " INSTINFO='echo' fi echo "install-info --delete ${BASE}/share/info/sed.info --dir-file=${BASE}/share/info/dir" $INSTINFO --quiet --delete ${BASE}/share/info/sed.info --dir-file=${BASE}/share/info/dir fi exit 0