Re: Double hyphens in variable names.

[Luc Teirlinck]

Karl Berry wrote:

       The Texinfo documentation does not explicitly say whether
       @verb is supposed to work from within @code.  

   I doubt it is worth the trouble to try to do this.  Can you think of a
   reason why any real document would need @verb inside @code?  I can't.

No.  I was just wondering whether it was actually supposed to work or
not.  I can think of a real document where one would have wanted to
use it inside @defvar, but after the changes you propose, that will no
longer be necessary either.

Sincerely,

Luc.