Gavin Smith , Sun Mar 19 2023 19:52:15
GMT+0100 (Central European Standard Time)
On Sun, Mar 19, 2023 at 05:57:19PM +0100, Bogdan wrote:
Anyway, I just provide code the way I'd do it. It's up to "someone higher
up", like you, to make the decision if the patch is to be merged, modified
first,
Karl Berry , Mon Mar 20 2023 15:36:11 GMT+0100
(Central European Standard Time)
Gavin, thanks for your comments. Always appreciated.
Bogdan, thanks for the patch. I (or the mythical Someone Else) will look
into it. My gut reaction is that it's good to make things work with old
versions in
Gavin, thanks for your comments. Always appreciated.
Bogdan, thanks for the patch. I (or the mythical Someone Else) will look
into it. My gut reaction is that it's good to make things work with old
versions in principle, although admittedly Apple's no-GPLv3 policy is
not something we care about
On Sun, Mar 19, 2023 at 05:57:19PM +0100, Bogdan wrote:
> Anyway, I just provide code the way I'd do it. It's up to "someone higher
> up", like you, to make the decision if the patch is to be merged, modified
> first, or to be simply left out for some reason. There surely are things I
> don't
Gavin Smith , Sun Mar 19 2023 11:17:31
GMT+0100 (Central European Standard Time)
On Sat, Mar 18, 2023 at 10:10:05PM +0100, Bogdan wrote:
The problem was with "--build-dir=": the old texi2dvi (which is a shell
script) splits "--build-dir=xxx" into "--build-dir" and "xxx", interprets
the
On Sat, Mar 18, 2023 at 10:10:05PM +0100, Bogdan wrote:
> The problem was with "--build-dir=": the old texi2dvi (which is a shell
> script) splits "--build-dir=xxx" into "--build-dir" and "xxx", interprets
> the "--build-dir" switch as "--batch" (checks just the first letter, great)
> and the
Hello.
The attached patch fixes bug#29188.
The problem was with "--build-dir=": the old texi2dvi (which is a
shell script) splits "--build-dir=xxx" into "--build-dir" and "xxx",
interprets the "--build-dir" switch as "--batch" (checks just the
first letter, great) and the "xxx" stays on