Traditionally it is accepted to pug GNU library info documentation files into
"Libraries" category. libgomp info file goes into "GNU Libraries" category.
The following patch fixes the bug:
--- libgomp.texi.old    2008-03-17 00:07:13.000000000 -0400
+++ libgomp.texi        2008-03-17 00:07:25.000000000 -0400
@@ -30,7 +30,7 @@
 @end copying

 @ifinfo
[EMAIL PROTECTED] GNU Libraries
[EMAIL PROTECTED] Libraries
 @direntry
 * libgomp: (libgomp).                    GNU OpenMP runtime library
 @end direntry

It should be applied to 
http://gcc.gnu.org/viewcvs/trunk/libgomp/libgomp.texi


-- 
           Summary: libgomp info documentation file is in the wrong category
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: libgomp
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: petrosyan at gmail dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35614

Reply via email to