Re: shall `make uninstall' remove directories?

[Lars J. Aas]

On Mon, May 15, 2000 at 11:20:30AM -0400, Pavel Roskin wrote:
: > I say, remove /usr/local and even /usr if possible ;)
: 
: But what if /usr/local was empty but existed before "make install" ?
: What if /usr/local is a mount point?

Nuke it anyway...

I was of course joking in my original remark, as seen by the noseless
smiley.  This time, though... ;)

  Lars J