Re: shall `make uninstall' remove directories?

[Tom Tromey]

>>>>> "Peter" == Peter Eisentraut <[EMAIL PROTECTED]> writes:

Peter> The added beauty of this approach would be that `rminstalldirs'
Peter> would be to `rmdir -p' what `mkinstalldirs' is now to `mkdir
Peter> -p'. A possible (though perhaps not perfect) implementation of
Peter> rminstalldirs is attached for your perusal.

I think we should not introduce more utilities.  We have way too many
already.  How about reimplementing this as a patch to "missing"?  Then
we can do "missing rmdir -p".  Having AM_INIT_AUTOMAKE look for "rmdir
-p" would also be appropriate...

Tom