Re: a bug, i guess ...

[Tom Tromey]

>>>>> "Oswald" == Oswald Buddenhagen <[EMAIL PROTECTED]> writes:

Oswald>   { echo "configure: error: source directory already configured; run "make 
distclean" there first" 1>&2; exit 1; }

Oswald> (note the " around "make distclean" - they should be \")

Thanks.  Weirdly, nobody ever noticed this before.
I've checked in a fix.

Tom