Bug#831470: gdb manual: missing documentation of the -tui option

2016-12-15 Thread Paul Wise
On Thu, 2016-12-15 at 13:11 +0100, Hector Oron wrote: >   Given all the above I tend to think that we should propose upstream to >   document such option in the manpage instead of us modifying it. That sounds fine to me too. Also, would be nice if they dropped the cover texts and invariant secti

Bug#831470: gdb manual: missing documentation of the -tui option

2016-12-15 Thread Hector Oron
Hey Pablo, On Sat, Jul 16, 2016 at 10:03:53PM +0800, Paul Wise wrote: > Package: gdb-doc > Version: 7.11.1-1 > Severity: normal > File: /usr/share/man/man1/gdb.1.gz > > The manual page is missing documentation of the -tui option: > > https://sourceware.org/gdb/onlinedocs/gdb/TUI.html Some tim

Bug#831470: gdb manual: missing documentation of the -tui option

2016-07-16 Thread Paul Wise
Package: gdb-doc Version: 7.11.1-1 Severity: normal File: /usr/share/man/man1/gdb.1.gz The manual page is missing documentation of the -tui option: https://sourceware.org/gdb/onlinedocs/gdb/TUI.html -- System Information: Debian Release: stretch/sid   APT prefers testing-debug   APT policy: (900