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

--- Comment #2 from Eric Gallager <egallager at gcc dot gnu.org> ---
libcilkrts can be removed from the list of directories to document, since it no
longer exists in trunk.

Reply via email to