> : Is there any value to keeping /usr/local/share, if it's empty? > : Theorectically yes, but the next package that needs it will recreate it > : anyway. Implementation would be simplified with this assumption. > > I say, remove /usr/local and even /usr if possible ;) Why stop there? ;-))
- shall `make uninstall' remove directories? Assar Westerlund
- Re: shall `make uninstall' remove directories? Lars Hecking
- Re: shall `make uninstall' remove directories? Assar Westerlund
- Re: shall `make uninstall' remove directorie... Lars Hecking
- Re: shall `make uninstall' remove directories? Tom Tromey
- Re: shall `make uninstall' remove directories? Didier Verna
- Re: shall `make uninstall' remove directorie... Peter Eisentraut
- Re: shall `make uninstall' remove direct... Didier Verna
- Re: shall `make uninstall' remove direct... Lars J. Aas
- Re: shall `make uninstall' remove d... Lars Hecking
- Re: shall `make uninstall' remove d... Pavel Roskin
- Re: shall `make uninstall' remo... Lars J. Aas
- Re: shall `make uninstall' remove d... François Pinard
- Re: shall `make uninstall' remove directories? Peter Eisentraut
- Re: shall `make uninstall' remove directories? Pavel Roskin
- Re: shall `make uninstall' remove directories? Peter Eisentraut
- Re: shall `make uninstall' remove directories? Tom Tromey
- Re: shall `make uninstall' remove directorie... Pavel Roskin
- Re: shall `make uninstall' remove direct... Tom Tromey