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
sections so that the docs could move back into Debian main.

-- 
bye,
pabs

https://wiki.debian.org/PaulWise


signature.asc
Description: This is a digitally signed message part


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 time ago, there was a patch for such purpose (man-page-args.patch)
  This was coming from similar request to this one:
https://bugs.debian.org/362795

  However manpage was rewriten as texinfo document and licensed under GFDL 1.3
  I was pondering if we should be able to modify the text and document the
  feature in the manpage, however I understand from license requirements:

"
  Copyright @copyright{} 1988-2016 Free Software Foundation, Inc.

  Permission is granted to copy, distribute and/or modify this document
  under the terms of the GNU Free Documentation License, Version 1.3 or
  any later version published by the Free Software Foundation; with the
  Invariant Sections being ``Free Software'' and ``Free Software Needs
  Free Documentation'', with the Front-Cover Texts being ``A GNU Manual,''
  and with the Back-Cover Texts as in (a) below.

  (a) The FSF's Back-Cover Text is: ``You are free to copy and modify
  this GNU Manual.  Buying copies from GNU Press supports the FSF in
  developing GNU and promoting software freedom.''
"

  Does the manual page have covers to modify? 
  
  GFDL 4A:
"
  A. Use in the Title Page (and on the covers, if any) a title distinct
 from that of the Document, and from those of previous versions
 (which should, if there were any, be listed in the History section
 of the Document).  You may use the same title as a previous version
 if the original publisher of that version gives permission.
"
  To accomplish that I understand that we need to modify the manpage title
  page, which is the program name.
  
  Also in Debian package changelog you might find the following comment:
"
- Drop man-page-args.patch and man-page-order.patch:
  Manpages are dead to us now (not DFSG free), and the source is in
  texinfo now anyway.
"

  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.

  In anycase, you should be able to access TUI pages and know about it by
  checking:
info gdb
  or
file:///usr/share/doc/gdb-doc/html/gdb/TUI.html

Regards,
-- 
Hector Oron


signature.asc
Description: PGP signature


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, 'testing-debug'), (900, 'testing'), (800, 
'unstable-debug'), (800, 'unstable'), (790, 'buildd-unstable'), (700, 
'experimental-debug'), (700, 'experimental'), (690, 'buildd-experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 4.6.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_AU.utf8, LC_CTYPE=en_AU.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

-- no debconf information

-- 

bye,
pabs

https://wiki.debian.org/PaulWise


signature.asc
Description: This is a digitally signed message part