[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: info dir clashes
From: |
Federico Beffa |
Subject: |
Re: info dir clashes |
Date: |
Sun, 5 Apr 2015 22:04:14 +0200 |
On Sat, Mar 28, 2015 at 3:37 PM, Ludovic Courtès <address@hidden> wrote:
> 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’?
Finally I prepared a patch for this.
Regards,
Fede
0001-build-system-gnu-Add-delete-info-dir-file-phase.patch
Description: Text Data
- Re: info dir clashes,
Federico Beffa <=