Commit 73b58688 authored by Ondřej Surý's avatar Ondřej Surý

Install sphinx and sphinx-rtd-theme from pypi

parent a1fbabf1
......@@ -116,7 +116,7 @@ RUN if [ "@RESPDIFF@" = "yes" ]; then apt-get -y install python3-dpkt python3-lm
RUN if [ "@SHELLCHECK@" = "yes" ]; then apt-get -y install shellcheck; fi
RUN if [ "@SOFTHSM@" -ge "2" ] 2>/dev/null; then apt-get -y install libsofthsm2 softhsm2; fi
RUN if [ "@SOFTHSM@" -lt "2" ] 2>/dev/null; then apt-get -y install libsofthsm softhsm; fi
RUN if [ "@SPHINX@" = "yes" ] 2>/dev/null; then apt-get -y install python3-sphinx python3-sphinx-rtd-theme texlive-full texlive-xetex xindy; fi
RUN if [ "@SPHINX@" = "yes" ] 2>/dev/null; then pip3 install Sphinx sphinx-rtd-theme && apt-get -y install texlive-full texlive-xetex xindy; fi
COPY kyua.tar /
RUN if [ ! -s /kyua.tar ]; then \
curl -sSL "https://github.com/jmmv/atf/releases/download/atf-${ATF_VERSION}/atf-${ATF_VERSION}.tar.gz" | tar -xz -C /usr/src && \
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment