On Thu, 28 Feb 2019 at 15:49, Philippe Mathieu-Daudé <[email protected]> wrote: > > Hi Peter, > > On 2/28/19 3:56 PM, Peter Maydell wrote: > > +# Sphinx builds all its documentation at once in one invocation > > +# and handles "don't rebuild things unless necessary" itself. > > +# The '.doctrees' files are cached information to speed this up. > > Can you add .doctrees to .gitignore?
Since this was the only change request for this patchset, I plan to send out a pullreq containing it, with this folded into this patch: diff --git a/.gitignore b/.gitignore index b66b7725512..77522561b8e 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ +/.doctrees /config-devices.* /config-all-devices.* /config-all-disas.* thanks -- PMM
