Re: @{ and @} in @deffn

[Eli Zaretskii]

On Mon, 19 Mar 2001, Werner LEMBERG wrote:

> Using makeinfo 4.0, I get an error message if I say
> 
>   @deffn{Escape address@hidden
> 
> Is this a bug?

IMHO the entire @def... feature is a bug.  It violates some of the rules 
of Texinfo's syntax (e.g., this is the only place where a lone { is 
allowed), and makeinfo has a few extra-special hacks in its code, just to 
make that work.

> Is there a known workaround?

Did you try "@deffn{Escape \@@@{}"?