https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35614
sandra at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |sandra at gcc dot gnu.org
Status|NEW |RESOLVED
Resolution|--- |WONTFIX
--- Comment #5 from sandra at gcc dot gnu.org ---
I'm closing this issue. There are 3 other libraries included with GCC that
have manuals also using "@dircategory GNU Libraries", and none of them use
"@dircategory Libraries", so it looks to me like the existing "GNU Libraries"
in libgomp.texi is consistent with current usage.
