Hi.
This returns to the idea of context awareness. Right now, @r{} is turned into
<lineannotation>. This is totally wrong. The gawk manual has a
number of instances like this:
@table @code
@item -d@r{[}@var{file}@r{]}
@itemx --dump-variables@r{[}=@var{file}@r{]}
....
This gets turned into:
<varlistentry><term><literal>-d<lineannotation>[</lineannotation><replaceable>file</replaceable><lineannotation>]</lineannotation></literal>
The general fix is context awareness. The short term fix is probably to
output the contents of @r{} without any markup and to issue a warning
to do the formatting differently in the texinfo source. I suspect that
this is what I need to do for the tables like this, anyway.
Thanks,
Arnold