diff options
author | Peter Maydell <peter.maydell@linaro.org> | 2019-03-08 13:57:42 +0000 |
---|---|---|
committer | Peter Maydell <peter.maydell@linaro.org> | 2019-03-11 11:10:44 +0000 |
commit | 1290e6711f2a7e8f2393346a0226f51d590d225f (patch) | |
tree | 69fca7758bdb98e0d751f931b927cc889c9aa596 /pc-bios | |
parent | e2a18635a400b0e68679614132e9ef6316105590 (diff) |
Makefile: Fix Sphinx documentation builds for in-tree builds
The Sphinx build-sphinx tool does not permit building a manual
into the same directory as its source files. This meant that
commit 5f71eac06e15b9a3fa1134d446f broke QEMU in-source-tree
builds, which would fail with:
Error: source directory and destination directory are same.
Fix this by making in-tree builds build the Sphinx manuals
into a subdirectory of docs/.
Fixes: 5f71eac06e15b9a3fa1134d446f ("Makefile, configure: Support building rST documentation")
Reported-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Message-id: 20190308135744.6480-2-peter.maydell@linaro.org
Diffstat (limited to 'pc-bios')
0 files changed, 0 insertions, 0 deletions