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

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

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: