Collin Funk wrote:
> It seems that your commit 01cd78f9d682ff75cc5ab1c2d21b911bdd9215b8
> accidentally caused this. While cleaning up the handling of paths, I
> think you accidentally removed this variable.
Yep. Thanks for the fix! Applied.
Bruno
On 2/21/24 8:08 AM, Bruno Haible wrote:
> I suppose it is not much more work to fix this line for real?
> Hints:
> - If there is no variable 'saved_auxdir' in this function, maybe there
> is a variable 'auxdir'?
> - What do the comments hint at?
> - What does the history of the file ('git
Collin Funk wrote:
> self.config.setAuxDir(saved_auxdir)
>
> NameError: name 'saved_auxdir' is not defined
>
> I commented out the offending line instead of removing it just in case
> it is useful in the future.
I suppose it is not much more work to fix
