Re: [PATCH] maintainer-scripts: add gen_gcc_docs.sh

2025-10-18 Thread Arsen Arsenović
Mark Wielaard writes: > That is indeed the idea, we take this new script and wrap it into a > container which has all the right versions of the requirements: > > https://sourceware.org/cgit/builder/tree/builder/master.cfg#n4166 > https://sourceware.org/cgit/builder/tree/builder/containers/Contain

Re: [PATCH] maintainer-scripts: add gen_gcc_docs.sh

2025-10-17 Thread Arsen Arsenović
Jonathan Wakely writes: > Storing both .pdf and .pdf.gz files seems silly, when compression > makes very little difference for PDF files. > > Storing both .ps and .ps.gz seems silly when the .ps files are quite > large (and I bet nobody even uses them). > > Storing both *-html.tar and *-html.tar.

Re: [PATCH] maintainer-scripts: add gen_gcc_docs.sh

2025-10-17 Thread Arsen Arsenović
Mark Wielaard writes: > Hi Arsen, > > On Tue, 2025-10-07 at 22:15 +0200, Arsen Arsenović wrote: >> Mark Wielaard writes: >> >> > That is indeed the idea, we take this new script and wrap it into a >> > container which has all the right versions of the requirements: >> > >> > https://sourceware

Re: [PATCH] maintainer-scripts: add gen_gcc_docs.sh

2025-10-17 Thread Mark Wielaard
Hi Richard, On Mon, Sep 22, 2025 at 11:05:18AM +0200, Richard Biener wrote: > On Sun, Sep 21, 2025 at 5:20 PM Mark Wielaard wrote: > > On Mon, Sep 08, 2025 at 06:07:48PM +0200, Arsen Arsenović wrote: > > > Mark Wielaard writes: > > > > > > > I think it is a good thing to make it easier for users

Re: [PATCH] maintainer-scripts: add gen_gcc_docs.sh

2025-10-12 Thread Mark Wielaard
Hi Arsen, On Tue, 2025-10-07 at 22:15 +0200, Arsen Arsenović wrote: > Mark Wielaard writes: > > > That is indeed the idea, we take this new script and wrap it into a > > container which has all the right versions of the requirements: > > > > https://sourceware.org/cgit/builder/tree/builder/mast

Re: [PATCH] maintainer-scripts: add gen_gcc_docs.sh

2025-10-08 Thread Mark Wielaard
On Tue, 2025-10-07 at 22:19 +0200, Arsen Arsenović wrote: > Jonathan Wakely writes: > > > Storing both .pdf and .pdf.gz files seems silly, when compression > > makes very little difference for PDF files. > > > > Storing both .ps and .ps.gz seems silly when the .ps files are quite > > large (and

Re: [PATCH] maintainer-scripts: add gen_gcc_docs.sh

2025-09-22 Thread Jonathan Wakely
On Mon, 22 Sept 2025 at 10:24, Jonathan Wakely wrote: > > On Mon, 22 Sept 2025 at 10:05, Richard Biener > wrote: > > > > On Sun, Sep 21, 2025 at 5:20 PM Mark Wielaard wrote: > > > > > > Hi Aarsen, > > > > > > Added Jonathan to CC to get his opinion on the libstdc++ part of the > > > documentatio

Re: [PATCH] maintainer-scripts: add gen_gcc_docs.sh

2025-09-22 Thread Jonathan Wakely
On Mon, 22 Sept 2025 at 10:05, Richard Biener wrote: > > On Sun, Sep 21, 2025 at 5:20 PM Mark Wielaard wrote: > > > > Hi Aarsen, > > > > Added Jonathan to CC to get his opinion on the libstdc++ part of the > > documentation (re)generation. > > > > On Mon, Sep 08, 2025 at 06:07:48PM +0200, Arsen A

Re: [PATCH] maintainer-scripts: add gen_gcc_docs.sh

2025-09-22 Thread Jonathan Wakely
On Sun, 21 Sept 2025 at 16:19, Mark Wielaard wrote: > > > Here you also create tar.gz files. Leaving the .tar archives as is. > > > Since the .tar archives are really big already I would remove them > > > here, or simply directly create tar.gz files above. > > > > > >> +# And copy the resulting fil

Re: [PATCH] maintainer-scripts: add gen_gcc_docs.sh

2025-09-22 Thread Richard Biener
On Sun, Sep 21, 2025 at 5:20 PM Mark Wielaard wrote: > > Hi Aarsen, > > Added Jonathan to CC to get his opinion on the libstdc++ part of the > documentation (re)generation. > > On Mon, Sep 08, 2025 at 06:07:48PM +0200, Arsen Arsenović wrote: > > Mark Wielaard writes: > > > > > I think it is a goo

Re: [PATCH] maintainer-scripts: add gen_gcc_docs.sh

2025-09-21 Thread Mark Wielaard
Hi Aarsen, Added Jonathan to CC to get his opinion on the libstdc++ part of the documentation (re)generation. On Mon, Sep 08, 2025 at 06:07:48PM +0200, Arsen Arsenović wrote: > Mark Wielaard writes: > > > I think it is a good thing to make it easier for users to regenerate > > the documentation

Re: [PATCH] maintainer-scripts: add gen_gcc_docs.sh

2025-09-20 Thread Arsen Arsenović
Hi Mark, Mark Wielaard writes: > I think it is a good thing to make it easier for users to regenerate > the documentation locally for offline usage. And it would be helpful > to check documentation generation work by using is as a snapshot > builder and/or an Action that could be run on a merge

Re: [PATCH] maintainer-scripts: add gen_gcc_docs.sh

2025-09-07 Thread Mark Wielaard
Hi Arsen, On Fri, Sep 05, 2025 at 01:15:07PM +0200, Arsen Arsenović wrote: > This script generates docs to match https://gcc.gnu.org/onlinedocs/ in a > way that's easy to invoke by anyone (i.e. in a way that doesn't depend > on the specifics of the server hosting gcc.gnu.org). It is based on > ge

[PATCH] maintainer-scripts: add gen_gcc_docs.sh

2025-09-05 Thread Arsen Arsenović
This script generates docs to match https://gcc.gnu.org/onlinedocs/ in a way that's easy to invoke by anyone (i.e. in a way that doesn't depend on the specifics of the server hosting gcc.gnu.org). It is based on generate_libstdcxx_web_docs and update_web_docs_* and intends to replace them eventual