Re: [PATCH (pushed)] sphinx: fix building if sphinx-build is missing

2022-11-13 Thread Stephan Bergmann via Gcc-patches
On 11/13/22 20:26, Martin Liška wrote: The patch is fine, please send it to gcc-patches ML and install it. I sent a patch now, but don't have commit rights.

Re: [PATCH (pushed)] sphinx: fix building if sphinx-build is missing

2022-11-13 Thread Martin Liška
On 11/13/22 20:18, Stephan Bergmann wrote: > On 11/9/22 10:09, Martin Liška wrote: >> I noticed I modified Makefile.in files in the Sphinx series. While I was >> supposed to modifiky Makefile.am and use automake. I'm going to fix that >> soon. > > A recent master build against (apparently too old

Re: [PATCH (pushed)] sphinx: fix building if sphinx-build is missing

2022-11-13 Thread Stephan Bergmann via Gcc-patches
On 11/9/22 10:09, Martin Liška wrote: I noticed I modified Makefile.in files in the Sphinx series. While I was supposed to modifiky Makefile.am and use automake. I'm going to fix that soon. A recent master build against (apparently too old) python3-sphinx-5.0.2-2.fc37.noarch failed for me with

[PATCH (pushed)] sphinx: fix building if sphinx-build is missing

2022-11-09 Thread Martin Liška
I noticed I modified Makefile.in files in the Sphinx series. While I was supposed to modifiky Makefile.am and use automake. I'm going to fix that soon. Martin libgomp/ChangeLog: * Makefile.in: Build info pages conditionally. libitm/ChangeLog: * Makefile.in: Build info pages con