[patch] Share options between info and man page

[Mingjie Xing]

Hello,

As we can see, gdb.texinfo has two separate option sections for info
page and man page. This causes duplication and is hard to maintain.
The patch removes the part in man page, and shares the sections from
info page. Is it OK?

doc/ChangeLog

        * gdb.texinfo (Man Pages): Remove the content of man OPTIONS gdb, add
        a cross reference to 'Invoking GDB'.
        (Invoking GDB): Enclosure the option sub-sections in man OPTIONS gdb.


Best regards
Mingjie
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gdb-man.patch
Type: text/x-patch
Size: 4516 bytes
Desc: not available
URL: <http://sourceware.org/pipermail/gdb-patches/attachments/20140609/140df775/attachment.bin>