[Maxima-discuss] Texinfo version and building packages, was: Help paths (was: Re: Maxima help can use browser now)

[Robert D. <rob...@gm...>]

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