diff options
| -rw-r--r-- | docs/docbuild/Dockerfile | 13 | ||||
| -rwxr-xr-x | travis/docker.sh | 2 |
2 files changed, 14 insertions, 1 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 + + diff --git a/travis/docker.sh b/travis/docker.sh index c5928d9c..f7cdf280 100755 --- a/travis/docker.sh +++ b/travis/docker.sh @@ -2,7 +2,7 @@ # proj-docs image has all of the Sphinx # dependencies need to build PROJ's docs -# it is build from docker/docbuild/Dockerfile +# it is build from docs/docbuild/Dockerfile # and is manually pushed as needed to DockerHub docker pull osgeo/proj-docs |