Re: info dir clashes

[Federico Beffa]

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