Skip to content
Permalink
Browse files
Install newer RTD theme from pip
See #58
  • Loading branch information
kocolosk authored and wohali committed Apr 11, 2018
1 parent b273424 commit 42de4b02ff99684c75fcbe006d636ddaa2e80f9b
Showing 1 changed file with 5 additions and 2 deletions.
@@ -78,14 +78,17 @@ RUN apt-get update -y && apt-get install -y --no-install-recommends \
libmozjs185-dev \
make \
python \
python-sphinx \
python-sphinx-rtd-theme \
python-pip \
texinfo \
texlive-base \
texlive-fonts-extra \
texlive-fonts-recommended \
texlive-latex-extra

RUN pip install \
sphinx \
sphinx_rtd_theme

# Node is special
RUN set -ex; \
curl -s https://deb.nodesource.com/gpgkey/nodesource.gpg.key | apt-key add -; \

0 comments on commit 42de4b0

Please sign in to comment.