texi2pdf: environment variables with spaces don't work

2022-10-03 Thread Werner LEMBERG
For testing purposes I generated a 'luatex-plain' format with ``` mtxrun --generate mtxrun --script plain --make ``` However, using it as ``` PDFTEX="luatex --fmt=luatex-plain" texi2pdf foo.texi ``` fails with ``` texi2dvi: TeX neither supports -recorder nor outputs \openout lines in its lo

Re: Makeinfo generates wrong link

2022-10-03 Thread Jacob Bachmeyer
Gavin Smith wrote: On Mon, Oct 03, 2022 at 08:31:06AM +0100, Jonathan Wakely wrote: On Mon, 3 Oct 2022 at 07:01, Gavin Smith via Gcc wrote: On Sun, Oct 02, 2022 at 09:06:06PM -0400, Richard Stallman wrote: [...] The gcc developers need to provide a stable, version-independent l

Re: Makeinfo generates wrong link

2022-10-03 Thread Richard Stallman
[[[ To any NSA and FBI agents reading my email: please consider]]] [[[ whether defending the US Constitution against all enemies, ]]] [[[ foreign or domestic, requires you to follow Snowden's example. ]]] > Some macros are predefined on each kind of machine > (@pxref{System spe

Re: Makeinfo generates wrong link

2022-10-03 Thread Richard Stallman
[[[ To any NSA and FBI agents reading my email: please consider]]] [[[ whether defending the US Constitution against all enemies, ]]] [[[ foreign or domestic, requires you to follow Snowden's example. ]]] > > Changing that file would change the link, e.g. > > > > --- a/util/htmlxref.c

Re: Makeinfo generates wrong link

2022-10-03 Thread Gavin Smith
On Mon, Oct 03, 2022 at 08:31:06AM +0100, Jonathan Wakely wrote: > On Mon, 3 Oct 2022 at 07:01, Gavin Smith via Gcc wrote: > > > > On Sun, Oct 02, 2022 at 09:06:06PM -0400, Richard Stallman wrote: > > > generates the following output: > > > > > > Some macros are predefined on each kind of mac

Re: Makeinfo generates wrong link

2022-10-03 Thread Jonathan Wakely
On Mon, 3 Oct 2022, 08:31 Jonathan Wakely, wrote: > On Mon, 3 Oct 2022 at 07:01, Gavin Smith via Gcc wrote: > > > > On Sun, Oct 02, 2022 at 09:06:06PM -0400, Richard Stallman wrote: > > > generates the following output: > > > > > > Some macros are predefined on each kind of machine > > >

Re: Makeinfo generates wrong link

2022-10-03 Thread Jonathan Wakely
On Mon, 3 Oct 2022 at 07:01, Gavin Smith via Gcc wrote: > > On Sun, Oct 02, 2022 at 09:06:06PM -0400, Richard Stallman wrote: > > generates the following output: > > > > Some macros are predefined on each kind of machine > > (see > href="https://gcc.gnu.org/onlinedocs/gcc/System_002dspec