[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: info dir clashes
|
From: |
Ludovic Courtès |
|
Subject: |
Re: info dir clashes |
|
Date: |
Sat, 28 Mar 2015 15:37:26 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.4 (gnu/linux) |
Federico Beffa <address@hidden> skribis:
> given that the file .../share/info/dir creates clashes in user
> profiles and that it is anyway handled with the help of info-dir
> substitutes, shouldn't we systematically delete them with the help,
> e.g., of a phase in gnu-build-system?
We should do that, indeed. Would you like to prepare a patch for
‘core-updates’?
Thanks,
Ludo’.
- info dir clashes, Federico Beffa, 2015/03/27
- Re: info dir clashes,
Ludovic Courtès <=