[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.
- [PATCH] Texinfo: inconsistent behavior: cmd line vs. env, Bogdan, 2023/03/21
- No bug tracker, Gavin Smith, 2023/03/23
- Re: No bug tracker, Patrice Dumas, 2023/03/23
- Re: No bug tracker, Raymond Toy, 2023/03/23
- Re: No bug tracker, Bogdan, 2023/03/23