https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88141

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |documentation

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
I have makeinfo 4.13 and no issue.  We use

@table @gcctabopt

but I don't see any "definition" of @gcctabopt

Reply via email to