Re: [PULL v3 0/1] Rtd patches

On 5/16/21 6:03 PM, Peter Maydell wrote: > On Sat, 15 May 2021 at 20:02, Marc-André Lureau > wrote: >> Otherwise, you should get a warning and doc will be disabled. Mine is less >> ugly than yours, not sure why: > > I think that's a sphinx-version dependent thing. I requested that > they improve

Re: [PULL v3 0/1] Rtd patches

On Sat, 15 May 2021 at 20:02, Marc-André Lureau wrote: > Otherwise, you should get a warning and doc will be disabled. Mine is less > ugly than yours, not sure why: I think that's a sphinx-version dependent thing. I requested that they improve the support for conf.py raising ConfigError to produc

Re: [PULL v3 0/1] Rtd patches

Hi On Sat, May 15, 2021 at 5:20 PM Philippe Mathieu-Daudé wrote: > On 5/14/21 8:33 PM, Peter Maydell wrote: > > On Fri, 14 May 2021 at 12:13, wrote: > >> > >> From: Marc-André Lureau > >> > >> The following changes since commit > 2d3fc4e2b069494b1e9e2e4a1e3de24cbc036426: > >> > >> Merge remo

Re: [PULL v3 0/1] Rtd patches

On 5/14/21 8:33 PM, Peter Maydell wrote: > On Fri, 14 May 2021 at 12:13, wrote: >> >> From: Marc-André Lureau >> >> The following changes since commit 2d3fc4e2b069494b1e9e2e4a1e3de24cbc036426: >> >> Merge remote-tracking branch 'remotes/armbru/tags/pull-misc-2021-05-12' >> into staging (2021-0

Re: [PULL v3 0/1] Rtd patches

On Fri, 14 May 2021 at 12:13, wrote: > > From: Marc-André Lureau > > The following changes since commit 2d3fc4e2b069494b1e9e2e4a1e3de24cbc036426: > > Merge remote-tracking branch 'remotes/armbru/tags/pull-misc-2021-05-12' > into staging (2021-05-13 20:13:24 +0100) > > are available in the Git

[PULL v3 0/1] Rtd patches

From: Marc-André Lureau The following changes since commit 2d3fc4e2b069494b1e9e2e4a1e3de24cbc036426: Merge remote-tracking branch 'remotes/armbru/tags/pull-misc-2021-05-12' into staging (2021-05-13 20:13:24 +0100) are available in the Git repository at: g...@gitlab.com:marcandre.lureau/qe