[Bug jit/102824] building pdf/dvi documentation for libgccjit fails

[iains at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102824

--- Comment #8 from Iain Sandoe <iains at gcc dot gnu.org> ---
(In reply to Eric Gallager from comment #6)
> @marxin is this something you checked during the sphinx conversion and
> reversion at all?

(In reply to Martin Liška from comment #7)
> Well, running 'make latexpdf' works if you jump into gcc/jit/docs folder. Do
> I miss something?

last time I checked 'make dvi ' it was hanging in libgccjit ('make pdf' is OK -
but in-tree gmp fails there).