Use sphinx from pip so we can generate html

SymbioticEDA · mmicko · Oct 27, 2020 · Oct 21, 2020 · Oct 21, 2020 · Oct 21, 2020
commit 0f894eafb42d3a81284c562a39fb5586a7b0807e
diff --git a/Dockerfile b/Dockerfile
@@ -8,8 +8,10 @@ RUN set -e -x ;\
         make \
         git \
         python3 \
-        latexmk python3-sphinx texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended; \
+        latexmk python3-pip texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended; \
     apt -y autoremove ;\
     rm -rf /var/lib/apt/lists/*
 
+RUN pip3 install -U sphinx
+
 WORKDIR /work