Re: shall `make uninstall' remove directories?

[Lars Hecking]

> Pavel> I still insist that no directories should be removed by "make
> Pavel> uninstall" unless they defininely belong to the package being
> Pavel> uninstalled.
> 
> I doubt there is any way to determine this.
> 
> Pavel> I don't want to figure out why /usr/local/man/man8 is not
> Pavel> writeable by my group whereas /usr/local/man/man7 is.
> 
> Maybe we can work to solve this somehow.  This area is really
> contentious, though.  Problems here come up periodically.  One idea
> would be to have a version of "install" that can be easily hacked to
> understand local system preferences.  Then it is up to the sysadmins,
> and not us.

 I am certainly not going to rely on "hacked" tools for system administration.
 They add additional maintenance work, and complications when eg. personnel
 changes.

 I'm fully with Pavel in this issue. Directories should be dealt with
 by a packaging system, not automake.