Federico Beffa <be...@ieee.org> 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’.