Re: [Qemu-devel] [PATCH v6 10/25] replay: introduce breakpoint at the specified step

[Paolo Bonzini]

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