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 [ -z "$INSTINFO" -o "$INSTINFO" = "no" ]; then echo " " echo "WARNING: Unable to find install-info for adding info files" echo " to ${BASE}/share/info/dir. Use the following commands" echo " to do that manually: " echo " " INSTINFO='echo' fi echo "install-info ${BASE}/share/info/sed.info --dir-file=${BASE}/share/info/dir" $INSTINFO ${BASE}/share/info/sed.info --dir-file=${BASE}/share/info/dir