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