gdb/1930: GDB manual uses man section notation

[jimb@redhat.com]

>Number:         1930
>Category:       gdb
>Synopsis:       GDB manual uses man section notation
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          doc-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Apr 29 17:58:02 UTC 2005
>Closed-Date:
>Last-Modified:
>Originator:     jimb@redhat.com
>Release:        unknown-1.0
>Organization:
>Environment:

>Description:

>How-To-Repeat:
The only ones I saw were in gdb/doc/gpl.texi.
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: