|
From: Robert D. <rob...@gm...> - 2022-07-19 16:24:45
|
On Mon, Jul 18, 2022 at 10:37 PM Wolfgang Dautermann <wol...@da...> wrote: > The nightly Windows installers are build on Ubuntu 20.04, where makeinfo > 6.7 is the default version. > > I assume, that 20.04 is still widely used (it is supported until 2025!), > so *requiring* texinfo 6.8 for Maxima now is maybe too early? For building from tarballs, at least, one can say ./configure --disable-build-docs so that make is not executed in doc/info, so you just get whatever was packed into the tarball. I guess that's okay for building release bundles. I guess it doesn't help builds from Git. FWIW Robert |