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.