info dir clashes

[Federico Beffa]

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