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/gsl-ref.info.gz --dir-file=${BASE}/share/info/dir"
$INSTINFO --quiet --delete ${BASE}/share/info/gsl-ref.info.gz --dir-file=${BASE}/share/info/dir
fi
exit 0

if [ "$CLIENT_BASEDIR" = "/usr" -o "$CLIENT_BASEDIR" = "/usr/local" ]; then
        exit 0
fi


LIBS=""
for l in lib ; do
	_TMP=`crle | awk '/Default Library Path/ { print ":" $5  ":" }' \
		| egrep ":$CLIENT_BASEDIR/$l"`
	if [ -n "$_TMP" ]; then
		LIBS="$LIBS \n$_TMP"
	fi
done

if [ -n "$LIBS" ]; then
	echo " "
	echo "NOTE: The following library path[s] are still listed in the systems"
	echo "      default library search path (You may remove it using the crle"
	echo "      tool in if they are not required anymore):"
	echo " "
	echo "$LIBS"
	echo " "
fi
	
exit 0