Re: Acronyms in HTML

[Akim Demaille]

[Grrr.... I can't have this message pass through...  Stephan, if it
can't reach the ML, could you please forward it?  TIA.]

 > Hello,
 > On Tue, Dec 02, 2003 at 12:36:06PM +0100, Dumas Patrice wrote:
 >> >   @acronym{GPL2, General public license, version 2}
 >> > would ignore the ``third parameter'' [...]

 >> I think that your approach is better, as nothing will be broken when a new
 >> argument is added.

 > great.  So my patch will have this when I submit it.

 > Karl, FYI: the patch processes the second parameter but it prints
 > the acronym full-size.  I leave the one-point-smaller feature for
 > you to implement.

Actually the problem is much more general that the mere @acronym.  In
numerous cases I'd like to be able to pass a comma to say my own
macros.  I would love something such as "@," standing for "escaped comma".