On Mon, 14 Nov 2022, Martin Liška wrote: > The situation with the Sphinx migration went out of control. The TODO > list overwhelmed me and there are road-blocks that can't be easily fixed > with what Sphinx currently supports.
This migration was/is a huge and complex undertaking, and you have been patiently chipping away at obstacle after obstacle. So while it probably is disappointing it did not go through this time, you made a lot of progress and important contributions - and we all learned quite a bit more, also in terms of (not so obvious) requirements, dependencies, and road blocks left which you summarized. Timing was tricky for me being on the road last week and I am definitely committed to keep helping with this transition. Maybe soon after we are in stage 1 again? And would it make sense to convert at least our installation docs and https://gcc.gnu.org/install/ for the GCC 13 release? Gerald
