dist-all

[Tom Tromey]

Akim --

I think one of your patches probably broke `make dist-all'.

Right now it ends up depending on each dist target that is used.
However each such target ends by removing the dist directory.
The point of having dist-all is that it is more efficient to simply
create the dist directory once, do all the packaging, and then delete
it.  I think that's how it used to work, but it doesn't appear to work
that way now...

Tom