question about no-dist patch

[Tom Tromey]

I wonder if it makes sense to require `no-dist' to be set in
configure.in, and not in some particular Makefile.  Thoughts?

The idea is, it doesn't make sense to omit the dist rules from a
single Makefile, only from an entire tree.

Tom