Hi, 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?
Regards, Fede
