Peter Eisentraut <[EMAIL PROTECTED]> wrote:
> On 15 May 2000, Didier Verna wrote:
>
> > > Assar> d) remove all the levels that are empty
> > >
> > > This is what I've always wanted to do.
> >
> > You mean `levels' that belong to the package itself, right ? I mean
> > /usr/local/share/automake, but not /usr/local/share for instance.
>
> 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
The next package using a proper install script, yes, but there are
many (too) simply written packages that will barf assuming that standard
directories will exist.
> Implementation would be simplified with this assumption.
Let's not break them by being lazy on our implementation.
--
/ / _ _ Didier Verna http://www.inf.enst.fr/~verna/
- / / - / / /_/ / EPITA / LRDE mailto:[EMAIL PROTECTED]
/_/ / /_/ / /__ / 14-16 rue Voltaire Tel. +33 (1) 44 08 01 77
94276 Kremlin-Bic�tre cedex Fax. +33 (1) 44 08 01 99
- 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
