Re: parallel make problem with our Texinfo manual

2021-05-22 Thread G. Branden Robinson
Hi, Bertrand and Ingo! Thanks to you both for your help. At 2021-05-21T18:23:56+0200, Ingo Schwarze wrote: > Not very surprisingly, i didn't instantly manage to reproduce your > problem on a different machine and operating system. That's typical > for races, they depend on a lot of details. [..

Re: parallel make problem with our Texinfo manual

2021-05-21 Thread Bertrand Garrigues via
Hi Branden, On Fri, May 21 2021 at 04:57:59 PM, "G. Branden Robinson" wrote: > I have a reproducible problem that I don't understand. [...] > > $ echo '@c' >> doc/groff.texi > $ (cd build && make -j all check) [...] > .../groff/build/../doc/groff.texi > makeinfo: rename doc/groff.info failed: No

Re: parallel make problem with our Texinfo manual

2021-05-21 Thread Ingo Schwarze
Hi Branden, G. Branden Robinson wrote on Fri, May 21, 2021 at 04:57:59PM +1000: > I have a reproducible problem that I don't understand. Not very surprisingly, i didn't instantly manage to reproduce your problem on a different machine and operating system. That's typical for races, they depend

parallel make problem with our Texinfo manual

2021-05-20 Thread G. Branden Robinson
I have a reproducible problem that I don't understand. I've elided my actual build directory name below because it's not important. $ echo '@c' >> doc/groff.texi $ (cd build && make -j all check) make check-am LANG=C \ LC_ALL=C \ makeinfo -o doc/groff.info --enable-encoding -I.../groff/build/../