Double hyphens in variable names

[Glenn Morris]

Hi,

I wrote this in a .texi file:

@defvar cl--gensym-counter
This variable holds the counter used to generate...
@end defvar

I noticed that in the info file generated by makeinfo (4.13), this
appears as:

  -- Variable: cl-gensym-counter
       This variable holds the counter used to generate...

("--" replaced by "-" in variable name)
It is correct in the index and the PDF version.

Looks like this was reported before some time ago:
http://lists.gnu.org/archive/html/bug-texinfo/2003-10/msg00000.html