Re: shall `make uninstall' remove directories?

[Tom Tromey]

>>>>> "Akim" == Akim Demaille <[EMAIL PROTECTED]> writes:

Akim> Honestly, I see no difference between plenty of small utilities
Akim> and one big.  The difference is moot to me (Hm, I read that
Akim> somewhere, but I'm not sure I'm writing correct English :).

There's a difference to me.  I get to hear complaints about how many
files automake requires.

Tom