Re: ./configure & .deps directory

[Tom Tromey]

Derek> What's $(top_builddir)/.deps get used for when there aren't any C
Derek> sources in $(top_srcdir) or $(top_builddir)?

Thanks, I checked in the fix.

Tom