On Fri, 8 Mar 2019 at 16:32, Paolo Bonzini <pbonz...@redhat.com> wrote:
> Let's go and do it.  If somebody really wants to do in-tree builds they
> can use --disable-docs.

TBH I'd suggest postponing this to 4.1...

-- PMM

Reply via email to