GNU bug report logs -
#62762
'make' often errors with "Org version mismatch" after pulling a new version of the code
Previous Next
Full log
View this message in rfc822 format
On 25/11/2023 14:59, Eli Zaretskii wrote:
>> Date: Sat, 25 Nov 2023 14:38:36 +0200
>> Cc:yantar92 <at> posteo.net,monnier <at> iro.umontreal.ca,bzg <at> gnu.org,
>> 62762 <at> debbugs.gnu.org,kyle <at> kyleam.com
>> From: Dmitry Gutov<dmitry <at> gutov.dev>
>>
>> On 25/11/2023 09:08, Eli Zaretskii wrote:
>>> The change we installed in the Emacs build procedure simply delays the
>>> error until Org is actually used (as opposed to just being compiled as
>>> part of the build update).
>> In that case, could we have a way to avoid rebuilding the manuals? I
> No one can guarantee that building the manuals is the only situation
> where Org will be invoked during the build. So this doesn't sound
> like worth the trouble to me. But you could always manually touch all
> the manuals in the info/ subdirectory, before building, if you don't
> care about keeping the manuals up-to-date.
Ok, I'll do that, thank you.
This bug report was last modified 1 year and 258 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.