diff --git a/docs/docker/dev.dockerfile b/docs/docker/dev.dockerfile index 7fef8cc04..1054de6d4 100644 --- a/docs/docker/dev.dockerfile +++ b/docs/docker/dev.dockerfile @@ -8,6 +8,7 @@ ENV CC clang-10 ENV CXX clang++-10 WORKDIR /app ADD docs/requirements.txt docs/requirements.txt +ADD docs/requirements_mkdoc.txt docs/requirements_mkdoc.txt RUN python3 -m pip install -r docs/requirements.txt ADD . . CMD docs/docker/docker_run.sh