From c1d3826162820dae78d62f5cb7f17adf3fd31ea1 Mon Sep 17 00:00:00 2001 From: orahnama Date: Mon, 30 Oct 2023 15:23:41 -0400 Subject: [PATCH] Add requirements_mkdoc.txt to dev Dockerfile --- docs/docker/dev.dockerfile | 1 + 1 file changed, 1 insertion(+) 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