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.
egallager at gcc dot gnu.org Mon, 01 Jan 2018 07:39:05 -0800
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.