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