cherry picking documentation patches to 8.1 branch

cherry picking documentation patches to 8.1 branch

[Szabolcs Nagy]

hello, i'd like to backport these patches into the 8.1 branch:

https://sourceware.org/ml/gdb-patches/2018-01/msg00259.html
https://sourceware.org/ml/gdb-patches/2018-01/msg00266.html

commit dbfa452355153093d4d6841515f9891c9572113f
Author:     Szabolcs Nagy <szabolcs.nagy@arm.com>
AuthorDate: 2018-01-15 10:44:12 +0000
Commit:     Szabolcs Nagy <szabolcs.nagy@arm.com>
CommitDate: 2018-01-15 11:43:33 +0000

     Fix gdb.texinfo for old makeinfo (again)

     With old makeinfo (version 4.13) the changes introduced in

     commit ba643918cf869fa0d064d733f69b453b6fe642ea
     Author:     Sergio Durigan Junior <sergiodj@redhat.com>

         Install and generate docs for gdb-add-index

     fail to build with

     gdb/doc/gdb.texinfo:2498: warning: `.' or `,' must follow @xref, not `@'.
     gdb/doc/gdb.texinfo:2517: warning: `.' or `,' must follow @xref, not `@'.
     gdb/doc/gdb.texinfo:43443: Node `gdb-add-index man' requires a sectioning command (e.g., @unnumberedsubsec).
     gdb/doc/gdb.texinfo:43443: `gdb-add-index man' has no Up field (perhaps incorrect sectioning?).
     gdb/doc/gdb.texinfo:43350: Next field of node `gdbinit man' not pointed to (perhaps incorrect sectioning?).
     gdb/doc/gdb.texinfo:43443: This node (gdb-add-index man) has the bad Prev.

     This patch fixes the warnings too.

     gdb/doc/ChangeLog:

             * gdb.texinfo (set cwd): Add period.
             (gdb-add-index man): Move anchor.


and

commit d726cb5d3784f7ed96318a2214ea777a86f9faad
Author:     Szabolcs Nagy <szabolcs.nagy@arm.com>
AuthorDate: 2018-01-15 13:06:45 +0000
Commit:     Szabolcs Nagy <szabolcs.nagy@arm.com>
CommitDate: 2018-01-15 13:28:25 +0000

     Fix gdb.texinfo more

     Add incorrectly removed @pindex back.

     gdb/doc/ChangeLog:

             * gdb.texinfo (gdb-add-index man): Add pindex.

Re: cherry picking documentation patches to 8.1 branch

[Eli Zaretskii]

> From: Szabolcs Nagy <szabolcs.nagy@arm.com>
> Date: Wed, 9 May 2018 17:00:55 +0100
> NoDisclaimer: True
> 
> hello, i'd like to backport these patches into the 8.1 branch:

Thanks, this is obviously fine with me.

Re: cherry picking documentation patches to 8.1 branch

[Joel Brobecker]

> > hello, i'd like to backport these patches into the 8.1 branch:
> 
> Thanks, this is obviously fine with me.

Excellent. But before you do the push, please make sure to have
a GDB/PR number, describing what the issues are, and with the target
milestone set to 8.1.1. Once you have that, if you could please add
that reference to the ChangeLog entries and commits' revision log.

Example of such a PR, which should link you to the attached commits,
and in particular how we put the GDB PR number in the ChangeLog and
revision log:

https://sourceware.org/bugzilla/show_bug.cgi?id=22849

(this is SOP for pushing patches to a release branch once the first
release off that branch has been made).

-- 
Joel

Re: cherry picking documentation patches to 8.1 branch

[Szabolcs Nagy]

On 09/05/18 18:47, Joel Brobecker wrote:
>>> hello, i'd like to backport these patches into the 8.1 branch:
>>
>> Thanks, this is obviously fine with me.
> 
> Excellent. But before you do the push, please make sure to have
> a GDB/PR number, describing what the issues are, and with the target
> milestone set to 8.1.1. Once you have that, if you could please add
> that reference to the ChangeLog entries and commits' revision log.
> 
> Example of such a PR, which should link you to the attached commits,
> and in particular how we put the GDB PR number in the ChangeLog and
> revision log:
> 
> https://sourceware.org/bugzilla/show_bug.cgi?id=22849
> 
> (this is SOP for pushing patches to a release branch once the first
> release off that branch has been made).
> 

thanks,

meanwhile i realized i'm building from binutils-2_30-branch,
not the 8.1 branch (which is fine).

i assume gdb is still intended to be buildable from the
binutils branch, so i can ask binutils for a backport.

sorry for the noise.