Re: pdf and certain macro expansion

[Dumas Patrice]

> Yes, that's what Patrice suggested as well.  The thing is, I can't
> really see (m)any individual authors maintaining an auxiliary file of
> such mappings for their manuals.

It could be possible to have such a file bundled with the texinfo 
distribution and the mapping would be done by individuals making the manuals
not by the local sysadmins. It could be possible to ask the maintainers
of projects with on line texinfo html manual to contribute to that. I feel 
that they will be willing to do that. And anyway most of these manuals are 
gnu manuals.

Pat