On Tue, 21 Jan 2020 at 11:06, Miroslav Rezanina wrote:
>
> On Mon, Jan 20, 2020 at 04:34:00PM +, Stefan Hajnoczi wrote:
> > The MANUAL_BUILDDIR directory is automatically created by sphinx-build
> > for the other targets. The index.html target does not use sphinx-build
> > so we must
On Mon, Jan 20, 2020 at 04:34:00PM +, Stefan Hajnoczi wrote:
> The MANUAL_BUILDDIR directory is automatically created by sphinx-build
> for the other targets. The index.html target does not use sphinx-build
> so we must manually create the directory to avoid the following error:
>
> GEN
The MANUAL_BUILDDIR directory is automatically created by sphinx-build
for the other targets. The index.html target does not use sphinx-build
so we must manually create the directory to avoid the following error:
GEN docs/built/index.html
/bin/sh: docs/built/index.html: No such file or
