| commit | d83bbedab5a2758fbb7866c06472feb3f3bf079b | |
| author | Stefan Hajnoczi <stefanha@redhat.com> | |
| Mon, 20 Jan 2020 16:34:00 +0000 (20 16:34 +0000) | ||
| committer | Peter Maydell <peter.maydell@linaro.org> | |
| Tue, 21 Jan 2020 11:56:17 +0000 (21 11:56 +0000) | ||
| tree | 4d118e7475347b63bd4782065197e67753a07a22 | treesnapshot (tar.gz zip) |
| parent | 4354edb6dcc72610c4344666d1664a67f6a86c84 | commitdiff |
Makefile: add missing mkdir MANUAL_BUILDDIR
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 directory
Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
Message-id: 20200120163400.603449-1-stefanha@redhat.com
Reviewed-by: Miroslav Rezanina <mrezanin@redhat.com>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
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 directory
Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
Message-id: 20200120163400.603449-1-stefanha@redhat.com
Reviewed-by: Miroslav Rezanina <mrezanin@redhat.com>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
| Makefile | diffblobblamehistory |