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 <gavinsmith0123@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.