Re: shall `make uninstall' remove directories?

[Pavel Roskin]

Hello!

> a) always remove the directories
> b) just remove the directories that were created during `make install'
> c) remove the last level of directory if it's empty
> d) remove all the levels that are empty

e) remove only the directories specific to the package (pkgdatadir,
pkglibdir, pkgincludedir) and only if they are empty.

I wouldn't bother removing e.g. /usr/local/share - chances are that it
will be reused some day. But removing /usr/local/share/foo is a good thing
- it indicates that "foo" is no longer installed.

Regards,
Pavel Roskin