Re: "make dist" calls "automake" ??

[Tom Tromey]

>>>>> "Guido" == Guido Draheim <address@hidden> writes:

Guido> Well, Tom, isn't it that most make-dependencies are dependent
Guido> on the chosen `configure` options? Some dependencies are
Guido> invariant, but they are generated anway if `automake` is called
Guido> without include-deps, isn't it?

Yes, this is one reason that we changed it.

Guido> The whole include-deps feels pretty pointless and doomed to
Guido> fail

I don't agree that it was pointless.  At the time when this code was
written, it was cutting-edge automatic dependency tracking technology.
This problem was actually not immediately obvious, and doing things
this way was a useful experiment.  For instance it taught us that
doing dependency tracking as a side effect of compilation is in fact
the best (known) approach.

As "doomed to fail", I disagree with that too.  Parts of it "failed"
in the sense that they proved to cause a fair number of problems.
These parts we changed.

Tom