On Thu, Mar 23, 2023 at 07:25:29PM +0000, Gavin Smith wrote: > Here's an updated patch: > > diff --git a/ChangeLog b/ChangeLog > index 92bc4d6325..2707f6bad5 100644 > --- a/ChangeLog > +++ b/ChangeLog > @@ -1,3 +1,12 @@ > +2023-03-23 Gavin Smith <gavinsmith0...@gmail.com> > + > + Make setting TEXI2DVI_BUILD_DIRECTORY equivalent to --build-dir option > + > + * util/texi2dvi: Make setting build dir to a directory other > + than '.' change build mode from 'local' to 'tidy' regardless of > + whether it is given with --build-dir or setting the > + TEXI2DVI_BUILD_DIRECTORY envvar. Report from Bogdan Drozdowski. > +
And this ChangeLog is inaccurate, of course, as '.' is not a special case with this patch.
