Re: shall `make uninstall' remove directories?

[Tom Tromey]

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

>> Also, "make install" may test to see if the target directory pre-existed

Peter> Keeping track of what directories you actually made will not
Peter> work.

I agree.  In situations like this, KISS rules.  Either "rmdir -p" is
the way to go, or only running rmdir on directories we know to be
package-specific (e.g., pkgdatadir) is the way to go.

I'm not that deeply wedded to either one.

Tom