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.