[XS] Change in coreboot[main]: util/docker/Makefile: Create Documentation/_build for docker-build-docs

[Nicholas Chin (Code Review)]

Nicholas Chin has uploaded this change for review. ( https://review.coreboot.org/c/coreboot/+/81127?usp=email )

Change subject: util/docker/Makefile: Create Documentation/_build for docker-build-docs
......................................................................

util/docker/Makefile: Create Documentation/_build for docker-build-docs

If the _build directory doesn't exist, Docker will create it due to
_build being specified as the host directory to bind mount to /data-in
within the container. However, the newly created directory will be owned
root user due to the way Docker operates, resulting in the container
being unable to copy the HTML output into _build since it builds the
documentation with the same UID and GID as the host user.

Change-Id: I6be9bc1fdca48f4d924f5c07cc261189ab6862fd
Signed-off-by: Nicholas Chin 
---
M util/docker/Makefile
1 file changed, 1 insertion(+), 0 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/27/81127/1

diff --git a/util/docker/Makefile b/util/docker/Makefile
index 77526bb..45562d7 100644
--- a/util/docker/Makefile
+++ b/util/docker/Makefile
@@ -177,6 +177,7 @@

docker-build-docs: test-docker
 docker-build-docs:
+	mkdir -p $(top)/Documentation/_build
    $(DOCKER) run -it --rm \
    	--user $(UID):$(GID) \
    	-v "$(top)/:/data-in/:ro" \