bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Texinfo: inconsistent behavior: cmd line vs. env


From: Gavin Smith
Subject: Re: [PATCH] Texinfo: inconsistent behavior: cmd line vs. env
Date: Thu, 23 Mar 2023 19:26:29 +0000

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.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]