#! @shell@

COMMAND=$1
shift
HOOGLE_DOC_PATH=@out@/share/hoogle/doc exec @hoogle@/bin/hoogle \
    $COMMAND -d @out@/share/hoogle "$@"