Difference between PDF and html

[Akim Demaille]

Hi all,

The following bit of code is extracted from Bison's documentation:

\input texinfo   @c -*-texinfo-*-
@c %**start of header
@setfilename foo.info
@settitle Sample Manual 1.0
@c %**end of header

@deftypemethod  {symbol_type} {}  address@hidden  ()
@deftypemethodx {symbol_type} {} address@hidden ()
@end deftypemethod
     
@bye


as you can see, part of the name of the function is variable.
Both are "correctly" rendered in PDF, yet in HTML the
rendering is different (in the first case, the @vsar{token}
bit is not considered part of the function name, but seems
to be processed as already part of the arguments: it's no
longer in bold, and it's preceded by an addition space).

I'm not claiming my first line is correct, I'm fully happy
with the second.  I'm just reporting two different behaviors.

Thanks!

(that's Texinfo 5.2).