diff --git a/docs/Dockerfile b/docs/Dockerfile index ae0fa85e0..0d703c8c8 100644 --- a/docs/Dockerfile +++ b/docs/Dockerfile @@ -8,8 +8,8 @@ MAINTAINER Nick Stinemates RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -yq make python-pip python-setuptools # pip installs from docs/requirements.txt, but here to increase cacheability -RUN pip install Sphinx==1.1.3 -RUN pip install sphinxcontrib-httpdomain==1.1.9 +RUN pip install Sphinx==1.2.1 +RUN pip install sphinxcontrib-httpdomain==1.2.0 ADD . /docs RUN make -C /docs clean docs diff --git a/docs/requirements.txt b/docs/requirements.txt index 095f7600c..6f41142a8 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -1,2 +1,2 @@ -Sphinx==1.1.3 -sphinxcontrib-httpdomain==1.1.9 +Sphinx==1.2.1 +sphinxcontrib-httpdomain==1.2.0