Re: [PATCH v2 1/5] docs: Create Indices appendix

2023-03-12 Thread Arsen Arsenović via Gcc-patches
Gerald Pfeifer writes: > On Sat, 11 Mar 2023, Arsen Arsenović wrote: >> Sandra Loosemore writes: >>> Hmmm, first off, I think somebody other than me needs to approve the >>> configure and makefile pieces, as well as the maintainer-scripts part. >>> It looks conceptually right to me > > Per gc

Re: [PATCH v2 1/5] docs: Create Indices appendix

2023-03-12 Thread Gerald Pfeifer
On Sat, 11 Mar 2023, Arsen Arsenović wrote: > Sandra Loosemore writes: >> Hmmm, first off, I think somebody other than me needs to approve the >> configure and makefile pieces, as well as the maintainer-scripts part. >> It looks conceptually right to me Per gcc/MAINTAINERS that'd be build ma

Re: [PATCH v2 1/5] docs: Create Indices appendix

2023-03-11 Thread Arsen Arsenović via Gcc-patches
Gerald Pfeifer writes: > On Sat, 11 Mar 2023, Arsen Arsenović wrote: >> OK, changed up a bit, what do you think of this: > >> maintainer-scripts/ChangeLog: >> >> * update_web_docs_git: Set CONTENTS_OUTPUT_LOCATION=inline in >> order to put @shortcontents above contents. See >> 9dd

Re: [PATCH v2 1/5] docs: Create Indices appendix

2023-03-11 Thread Arsen Arsenović via Gcc-patches
Sandra Loosemore writes: > On 3/11/23 05:22, Arsen Arsenović wrote: >> OK, changed up a bit, what do you think of this: >> maintainer-scripts/ChangeLog: >> * update_web_docs_git: Set CONTENTS_OUTPUT_LOCATION=inline in >> order to put @shortcontents above contents. See >> 9dd976a4-

Re: [PATCH v2 1/5] docs: Create Indices appendix

2023-03-11 Thread Sandra Loosemore via Gcc-patches
On 3/11/23 05:22, Arsen Arsenović wrote: OK, changed up a bit, what do you think of this: maintainer-scripts/ChangeLog: * update_web_docs_git: Set CONTENTS_OUTPUT_LOCATION=inline in order to put @shortcontents above contents. See 9dd976a4-4e09-d901-b949-6d5037567...@cod

Re: [PATCH v2 1/5] docs: Create Indices appendix

2023-03-11 Thread Gerald Pfeifer
On Sat, 11 Mar 2023, Arsen Arsenović wrote: > OK, changed up a bit, what do you think of this: > maintainer-scripts/ChangeLog: > > * update_web_docs_git: Set CONTENTS_OUTPUT_LOCATION=inline in > order to put @shortcontents above contents. See > 9dd976a4-4e09-d901-b949-6d5037567..

Re: [PATCH v2 1/5] docs: Create Indices appendix

2023-03-11 Thread Arsen Arsenović via Gcc-patches
Sandra Loosemore writes: > On 3/9/23 13:38, Arsen Arsenović wrote: >> Found the change. HTML got support for CONTENTS_OUTPUT_LOCATION, >> which defaults to after_top, which ignores the inline location of >> these elements. Here's a patch: >> maintainer-scripts/ChangeLog: >> * update_web_d

Re: [PATCH v2 1/5] docs: Create Indices appendix

2023-03-10 Thread Arsen Arsenović via Gcc-patches
Sandra Loosemore writes: > On 3/9/23 13:38, Arsen Arsenović wrote: >> Found the change. HTML got support for CONTENTS_OUTPUT_LOCATION, >> which defaults to after_top, which ignores the inline location of >> these elements. Here's a patch: >> maintainer-scripts/ChangeLog: >> * update_web_d

Re: [PATCH v2 1/5] docs: Create Indices appendix

2023-03-10 Thread Sandra Loosemore via Gcc-patches
On 3/9/23 13:38, Arsen Arsenović wrote: Found the change. HTML got support for CONTENTS_OUTPUT_LOCATION, which defaults to after_top, which ignores the inline location of these elements. Here's a patch: maintainer-scripts/ChangeLog: * update_web_docs_git: Set CONTENTS_OUTPUT_LOCATION

Re: [PATCH v2 1/5] docs: Create Indices appendix

2023-03-09 Thread Arsen Arsenović via Gcc-patches
Sandra Loosemore writes: > On 2/23/23 03:27, Arsen Arsenović via Gcc-patches wrote: >> The GCC manual has multiple indices. By creating an appendix which >> lists them, we help makeinfo present a more accessible way for the >> reader to see all the indices. >> gcc/ChangeLog: >> * doc/gcc.t

Re: [PATCH v2 1/5] docs: Create Indices appendix

2023-03-09 Thread Arsen Arsenović via Gcc-patches
Sandra Loosemore writes: > On 2/23/23 03:27, Arsen Arsenović via Gcc-patches wrote: >> The GCC manual has multiple indices. By creating an appendix which >> lists them, we help makeinfo present a more accessible way for the >> reader to see all the indices. >> gcc/ChangeLog: >> * doc/gcc.t

Re: [PATCH v2 1/5] docs: Create Indices appendix

2023-03-08 Thread Sandra Loosemore
On 2/23/23 03:27, Arsen Arsenović via Gcc-patches wrote: The GCC manual has multiple indices. By creating an appendix which lists them, we help makeinfo present a more accessible way for the reader to see all the indices. gcc/ChangeLog: * doc/gcc.texi: Add the Indices appendix, to make

[PATCH v2 1/5] docs: Create Indices appendix

2023-02-23 Thread Arsen Arsenović via Gcc-patches
The GCC manual has multiple indices. By creating an appendix which lists them, we help makeinfo present a more accessible way for the reader to see all the indices. gcc/ChangeLog: * doc/gcc.texi: Add the Indices appendix, to make texinfo generate nice indices overview page.