Re: shall `make uninstall' remove directories?

[Pavel Roskin]

Hello, Tom!

> 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...

Let's make "missing" handle "mkdir -p" to begin with.
Maybe install-sh could be wrapped into missing as well.

I still insist that no directories should be removed by "make uninstall"
unless they defininely belong to the package being uninstalled. So please
no "rmdir -p". Both "make install" and "make uninstall" are often run by
root.

I don't want to figure out why /usr/local/man/man8 is not writeable by my
group whereas /usr/local/man/man7 is.

Regards,
Pavel Roskin