CABALBIN=${HOME}/.cabal/bin

if ! echo ${PATH} | /bin/grep -q ${CABALBIN} ; then

    if [ -d ${CABALBIN} ]; then

	PATH=${PATH}:${CABALBIN}

    fi

fi

unset CABALBIN