Re: Please update Texinfo on gcc.gnu.org

[Mark Wielaard <mark@klomp.org>]

Hi Gerald,

On Wed, Mar 22, 2023 at 12:02:33AM +0100, Gerald Pfeifer via Overseers wrote:
> On Tue, 21 Mar 2023, Frank Ch. Eigler wrote:
> >> I'd like to request that the server building GCC texinfo-based
> >> documentation (which is, AFAIK, gcc.gnu.org) be updated to Texinfo
> >> master, currently at commit f12de7a5b383bed0ea29ee34c427679e0f8b9658.
> >> [...]
> >> Please let me know if there's anything extra that I should do.
> > Have you considered getting the shared gccadmin account to build &
> > install its private copy of texinfo under its home directory?
> 
> I'm not sure how broadly we want to provide access to the gccadmin 
> account, software supply chain and such? (In general, not particular 
> to Arsen at all!)

I would keep it to just the people you trust. But I do think we can
trust Arsen and it would be good as a penance to make him part of
gccadmins so he can be responsible for keeping texinfo up to date :)

But what we really should do is setup a dedicated/isolated
vm/container to do snapshot and doc builds. And then let the buildbot
do them against the lowest and latest supported textinfo versions (or
at least against some supported distro versions).

> I'll try to have a look at installing an updated version of Texinfo
> and how to use it for our daily doc builds this coming weekend...

I already build a version and installed it under
/home/gccadmin/texinfo/install-git/

But I haven't tried to use it yet.

> (Not a big fan of using "random" Git versions in production, though;
> any chance for a regular release coming soon?)

Agreed. Building from git is also a bit of a pain since it needs a
newer automake and help2man.

Cheers,

Mark