diff --git a/Documentation/Makefile b/Documentation/Makefile index cc4b2194bbd4..9fa4864ff911 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -39,6 +39,9 @@ epub latex html: builder-image DOCS_PORT = 9081 run-server: stop-server + # Work around Docker issue where this directory is created as root in + # the `--volume` parameter below. See also GH-10869. + $(QUIET)mkdir -p $(CURDIR)/_build/html/ $(QUIET)docker container run --rm \ --detach \ --interactive \