https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107653
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Ever confirmed|0 |1
Last reconfirmed| |2022-11-13
Assignee|unassigned at gcc dot gnu.org |marxin at gcc dot
gnu.org
CC| |marxin at gcc dot gnu.org
--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Confirmed, the shared doc/md.rst file is shared in between gcc and gccint
manual, where md.rst contains many ' .. only:: gccint' directives.
But yes, we should split it a bit.