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 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
