diff options
| -rw-r--r-- | docs/docbuild/Dockerfile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/docbuild/Dockerfile b/docs/docbuild/Dockerfile index 40a3dbc5..5aca89e9 100644 --- a/docs/docbuild/Dockerfile +++ b/docs/docbuild/Dockerfile @@ -1,12 +1,12 @@ FROM ubuntu:18.04 RUN apt-get -y update && DEBIAN_FRONTEND=noninteractive apt-get install -y \ - python-dev python-pip g++ doxygen dvipng latexmk \ + python3-dev python3-pip g++ doxygen dvipng latexmk \ cmake libjpeg8-dev zlib1g-dev texlive-latex-base \ texlive-latex-extra git \ - graphviz python-matplotlib + graphviz python3-matplotlib -RUN pip install Sphinx breathe \ +RUN pip3 install Sphinx breathe \ sphinx_bootstrap_theme awscli sphinxcontrib-bibtex \ sphinx_rtd_theme recommonmark sphinx-markdown-tables |