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. Have you been talking with the gcc.gnu.org admins about bumping this requirement? Otherwise the patch looks OK Dave
