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

Reverting various commits

2021-05-21 Thread G. Branden Robinson
It must be spring in the Groff Hemisphere, because the flowers of aggressive contention are once again in bloom... Hi Ingo, At 2021-05-20T16:09:59+0200, Ingo Schwarze wrote: > Hi Branden, > > G. Branden Robinson wrote on Thu, May 20, 2021 at 01:23:18AM -0400: > > > commit bf4b3dde3ba442a0cf52e9