Re: [PATCH] doc: Ada: include Indices and Tables in manuals

2022-11-14 Thread Martin Liška
On 11/14/22 08:32, Arnaud Charlet wrote: >> Sorry for the breakage. However, I contacted you (and your colleague) >> and haven't received >> any feedback for a couple of weeks. > > Right although I did give you feedback that what you sent wasn’t in a > suitable form for re

Re: [PATCH] doc: Ada: include Indices and Tables in manuals

2022-11-13 Thread Arnaud Charlet via Gcc-patches
> Sorry for the breakage. However, I contacted you (and your colleague) > and haven't received > any feedback for a couple of weeks. > >>> > >>> Right although I did give you feedback that what you sent wasn’t in a > >>> suitable form for review wrt Ada. > >> > >> Sure, but sending

Re: [PATCH] doc: Ada: include Indices and Tables in manuals

2022-11-13 Thread Martin Liška
On 11/13/22 18:03, Arnaud Charlet wrote: Sorry for the breakage. However, I contacted you (and your colleague) and haven't received any feedback for a couple of weeks. >>> >>> Right although I did give you feedback that what you sent wasn’t in a >>> suitable form for review wrt Ada

Re: [PATCH] doc: Ada: include Indices and Tables in manuals

2022-11-13 Thread Arnaud Charlet via Gcc-patches
> >> Sorry for the breakage. However, I contacted you (and your colleague) and > >> haven't received > >> any feedback for a couple of weeks. > > > > Right although I did give you feedback that what you sent wasn’t in a > > suitable form for review wrt Ada. > > Sure, but sending a patch set to

Re: [PATCH] doc: Ada: include Indices and Tables in manuals

2022-11-13 Thread Martin Liška
On 11/13/22 13:26, Arnaud Charlet wrote: > >> Sorry for the breakage. However, I contacted you (and your colleague) and >> haven't received >> any feedback for a couple of weeks. > > Right although I did give you feedback that what you sent wasn’t in a > suitable form for review wrt Ada. Sure,

Re: [PATCH] doc: Ada: include Indices and Tables in manuals

2022-11-13 Thread Arnaud Charlet via Gcc-patches
> Sorry for the breakage. However, I contacted you (and your colleague) and > haven't received > any feedback for a couple of weeks. Right although I did give you feedback that what you sent wasn’t in a suitable form for review wrt Ada. Arno

Re: [PATCH] doc: Ada: include Indices and Tables in manuals

2022-11-13 Thread Martin Liška
On 11/11/22 18:25, Arnaud Charlet wrote: > >> Similarly to other manuals, we should include the page >> in HTML builder. >> >> What Ada folks think about it? > > The latest changes have broken our build of the Ada doc at AdaCore so until > further notice, please do not make any additional chang

Re: [PATCH] doc: Ada: include Indices and Tables in manuals

2022-11-11 Thread Arnaud Charlet via Gcc-patches
> Similarly to other manuals, we should include the page > in HTML builder. > > What Ada folks think about it? The latest changes have broken our build of the Ada doc at AdaCore so until further notice, please do not make any additional changes to the Ada doc while we review in details all t

[PATCH] doc: Ada: include Indices and Tables in manuals

2022-11-11 Thread Martin Liška
Similarly to other manuals, we should include the page in HTML builder. What Ada folks think about it? Thanks, Martin gcc/ada/ChangeLog: * doc/gnat-style/index.rst: Add Indicies and Tables. * doc/gnat_rm/index.rst: Likewise. * doc/gnat_ugn/index.rst: Likewise. *