aboutsummaryrefslogtreecommitdiff
path: root/docs/docbuild
diff options
context:
space:
mode:
Diffstat (limited to 'docs/docbuild')
-rw-r--r--docs/docbuild/Dockerfile13
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
+
+