On 8/15/22 16:07, Manuel López-Ibáñez via Gcc-patches wrote: > Dear Philip, > > Another thing to pay attention to is the move to Sphinx for documentation: > https://gcc.gnu.org/pipermail/gcc/2022-August/239233.html
Hi. Which is something I can help you with. I have a script that converts a texinfo documentation to Sphinx. Cheers, Martin