On 7/26/22 00:35, David Malcolm wrote: > On Mon, 2022-07-25 at 10:52 +0200, Martin Liska wrote: >> gcc/jit/ChangeLog: >> >> * docs/conf.py: Add needs_sphinx = '3.0' where c:type was >> added. > > Looking at the footer of https://gcc.gnu.org/onlinedocs/jit/index.html > I see we currently only have sphinx 1.7.6 installed.
Yep. > > Have you been talking with the gcc.gnu.org admins about bumping this > requirement? Yes, working on that right now: https://gcc.gnu.org/pipermail/gcc-patches/2022-July/598771.html Thanks, Martin > > Otherwise the patch looks OK > > Dave >