Karl Berry wrote: > I don't want to make it an option, that would be the most pain of all. > Either in or out.
Well, I'm asking for it as an option. If you put it in for everyone, the fact that makeinfo does not generate "mailto:..."; hrefs will appear as a deficiency of makeinfo to many people. Bruno
