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 know
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 "--buil
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 "xxx
