Re: Ping (gcc/configure.ac, docs): [PATCH v2 4/5] Update texinfo.tex, remove the @gol macro/alias

2023-03-21 Thread Gerald Pfeifer
On Tue, 21 Mar 2023, Arsen Arsenović wrote: > Done! > > Gerald, please update the scripts when you get a chance (but back the > old ones up just in case!) Done. Minus the backup, since everything is in Git anyways, isn't it? :-) The script should run in about 1 hour and 45 minutes. > If makeinf

Re: Ping (gcc/configure.ac, docs): [PATCH v2 4/5] Update texinfo.tex, remove the @gol macro/alias

2023-03-21 Thread Arsen Arsenović via Gcc-patches
Arsen Arsenović via Gcc-patches writes: > Thank you! I'll do a final rebase and push in the morning. Done! Gerald, please update the scripts when you get a chance (but back the old ones up just in case!) If makeinfo is updated as I've asked in one of the other emails, will the script eventua

Re: Ping (gcc/configure.ac, docs): [PATCH v2 4/5] Update texinfo.tex, remove the @gol macro/alias

2023-03-20 Thread Arsen Arsenović via Gcc-patches
Sandra Loosemore writes: > On 3/18/23 14:14, Arsen Arsenović via Gcc-patches wrote: >> Evening, >> Ping on this patch series. >> I believe we're close to being able to apply it, with contents of the >> documentation changes being approved, and only a small build system >> change and a revised pa

Re: Ping (gcc/configure.ac, docs): [PATCH v2 4/5] Update texinfo.tex, remove the @gol macro/alias

2023-03-20 Thread Arsen Arsenović via Gcc-patches
Joseph Myers writes: > On Mon, 20 Mar 2023, Sandra Loosemore wrote: > >> Joseph, could you maybe review the last piece? A direct pointer to it in >> Arsen's git is >> >> https://git.sr.ht/~arsen/gcc/commit/bc734311cbca1085a1728f79b7eebef8cc7aeac3 > > That's OK, assuming I understand correctly

Re: Ping (gcc/configure.ac, docs): [PATCH v2 4/5] Update texinfo.tex, remove the @gol macro/alias

2023-03-20 Thread Joseph Myers
On Mon, 20 Mar 2023, Sandra Loosemore wrote: > Joseph, could you maybe review the last piece? A direct pointer to it in > Arsen's git is > > https://git.sr.ht/~arsen/gcc/commit/bc734311cbca1085a1728f79b7eebef8cc7aeac3 That's OK, assuming I understand correctly that makeinfo will still succeed

Re: Ping (gcc/configure.ac, docs): [PATCH v2 4/5] Update texinfo.tex, remove the @gol macro/alias

2023-03-20 Thread Sandra Loosemore
On 3/18/23 14:14, Arsen Arsenović via Gcc-patches wrote: Evening, Ping on this patch series. I believe we're close to being able to apply it, with contents of the documentation changes being approved, and only a small build system change and a revised patch series "shape" left to review. Yup.

Ping (gcc/configure.ac, docs): [PATCH v2 4/5] Update texinfo.tex, remove the @gol macro/alias

2023-03-18 Thread Arsen Arsenović via Gcc-patches
Evening, Ping on this patch series. I believe we're close to being able to apply it, with contents of the documentation changes being approved, and only a small build system change and a revised patch series "shape" left to review. The former change of these two is in: https://inbox.sourceware.o