On 5 February 2024 12:30:23 CET, Christophe Lyon
wrote:
>On Fri, 2 Feb 2024 at 11:40, Christophe Lyon
>wrote:
>>
>> On Fri, 2 Feb 2024 at 11:10, wrote:
>> >
>> > On 1 February 2024 18:15:34 CET, Christophe Lyon
>> > wrote:
>> > >BUILD_INFO is currently a byproduct of checking makeinfo
>> > >
On Fri, 2 Feb 2024 at 11:40, Christophe Lyon wrote:
>
> On Fri, 2 Feb 2024 at 11:10, wrote:
> >
> > On 1 February 2024 18:15:34 CET, Christophe Lyon
> > wrote:
> > >BUILD_INFO is currently a byproduct of checking makeinfo
> > >presence/version. INSTALL_INFO used to be defined similarly, but wa
On Fri, 2 Feb 2024 at 11:10, wrote:
>
> On 1 February 2024 18:15:34 CET, Christophe Lyon
> wrote:
> >BUILD_INFO is currently a byproduct of checking makeinfo
> >presence/version. INSTALL_INFO used to be defined similarly, but was
> >removed in 2000 (!) by commit 17db658241d18cf6db59d31bc2d6eac9
On 1 February 2024 18:15:34 CET, Christophe Lyon
wrote:
>BUILD_INFO is currently a byproduct of checking makeinfo
>presence/version. INSTALL_INFO used to be defined similarly, but was
>removed in 2000 (!) by commit 17db658241d18cf6db59d31bc2d6eac96e9257df
>(svn r38141).
>
>In order to save build
BUILD_INFO is currently a byproduct of checking makeinfo
presence/version. INSTALL_INFO used to be defined similarly, but was
removed in 2000 (!) by commit 17db658241d18cf6db59d31bc2d6eac96e9257df
(svn r38141).
In order to save build time, our CI overrides BUILD_INFO="", which
works when invoking