https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117883
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mark at gcc dot gnu.org
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Mark: is there a script for this somewhere that I need to modify? I have vague
memories of doing this for the jit docs, but can't find the script anywhere in
the gcc source tree or in the gcc-wwwdocs tree.
