migrate Sphinx build to Python3

Dominik Liebler · Dominik Liebler · commit ea31e1d93938 · 2019-08-17T23:21:20.000+02:00
diff --git a/Dockerfile b/Dockerfile
@@ -1,9 +1,9 @@
-FROM php:7.3.0-cli
+FROM php:7.3.8-cli
 WORKDIR /app
 RUN apt-get update \
-    && apt-get install -y libzip-dev wget git-core python-pip \
+    && apt-get install -y libzip-dev wget git-core python3 python3-pip \
     && docker-php-ext-install zip \
-    && pip install Sphinx sphinx_rtd_theme
+    && pip3 install Sphinx sphinx_rtd_theme
 ADD . /app
 RUN cd /app && make cs test html
 CMD [ "php", "-S", "0.0.0.0:80", "-t", "_build/html" ]
