On Mon, 15 Jun 2020 at 18:00, Paolo Bonzini <pbonz...@redhat.com> wrote: > > On 15/06/20 18:32, Peter Maydell wrote: > >> Queued, thanks. > > I guess this works, but it's kind of odd because it's installing > > a non-Sphinx document into the Sphinx manual directory. > > > > I'm hoping we'll be able to land the conversion of the qapigen > > stuff to rst this cycle, which will make this change moot; > > so I suppose it's the most expedient fix for the moment. > > I can keep the patch in the queue and not submit it unless really necessary.
Probably better to apply it; the conversion patchset is pretty big and is going to need at least one more round of review. And this fix won't be a big deal to fix up the conflict for. thanks -- PMM