diff options
Diffstat (limited to 'docs/docbuild')
| -rw-r--r-- | docs/docbuild/Dockerfile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/docs/docbuild/Dockerfile b/docs/docbuild/Dockerfile new file mode 100644 index 00000000..d43039af --- /dev/null +++ b/docs/docbuild/Dockerfile @@ -0,0 +1,13 @@ +FROM ubuntu:18.04 + +RUN apt-get -y update && DEBIAN_FRONTEND=noninteractive apt-get install -y \ + python-dev python-pip g++ doxygen dvipng latexmk \ + cmake libjpeg8-dev zlib1g-dev texlive-latex-base \ + texlive-latex-extra git \ + graphviz python-matplotlib + +RUN pip install Sphinx breathe \ + sphinx_bootstrap_theme awscli sphinxcontrib-bibtex \ + sphinx_rtd_theme + + |
