Paolo Bonzini <pbonz...@redhat.com> writes: > On 24/09/2018 15:12, Peter Maydell wrote: >> It got bumped by more important things >> and also because somebody else said they were going to look at it, >> and then it got bumped off *their* todo list by more important >> things :-)) > > I sense the force calling me... Well, my plans were did not actually > involve GTKDoc and the developer documentation, but rather the rest of > the manual. What I wanted to do, but didn't manage to do, was to work > on a new table of contents for the manual (not so much for the developer > documentation), so that it could be converted to rST and generated with > Sphinx. Converting Texinfo to rST is not trivial, but it seems doable > via makeinfo's Docbook backend and pandoc.
Remind me, why would rST be an improvement? > (I still don't like rST, but I guess that ship has sailed, also because > Linux's scripts/kernel-doc has since dropped all backends but rST and > man, so my other experiment of a Texinfo/Docbook backend for Sphinx is > dead). > > Paolo
