On 24 September 2018 at 17:50, Paolo Bonzini <pbonz...@redhat.com> wrote: > 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.
I think Kashyap was the other person who'd expressed interest in doing something around Sphinx ? thanks -- PMM
