diff options
| author | Stefan Hajnoczi <stefanha@redhat.com> | 2020-01-20 16:34:00 +0000 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2020-01-21 11:56:17 +0000 |
| commit | d83bbedab5a2758fbb7866c06472feb3f3bf079b (patch) | |
| tree | 4d118e7475347b63bd4782065197e67753a07a22 /monitor | |
| parent | 4354edb6dcc72610c4344666d1664a67f6a86c84 (diff) | |
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>
Diffstat (limited to 'monitor')
0 files changed, 0 insertions, 0 deletions