# Designed to be sourced

if [ "x$WGETRC" != "x" ] ; then

    wgetrc_dir=${WGETRC%/*}

    which_wget=`which wget`
    wget_dir=${which_wget%/*}

    if [ $wgetrc_dir != $wget_dir ] ; then
	echo "+--------" >&2
	echo "+ Located wget is not the Greenstone one" >&2
	echo "+ Temporarily setting:"                   >&2
	echo "+     WGETRC=$WGETRC"                     >&2
	echo "+ to be empty"                            >&2
	echo "+--------" >&2
	export WGETRC=
    fi
fi