From ea31e1d93938ea0a7c9f93633fefa63f3730d082 Mon Sep 17 00:00:00 2001
From: Dominik Liebler <liebler.dominik@gmail.com>
Date: Sat, 17 Aug 2019 23:21:20 +0200
Subject: [PATCH] migrate Sphinx build to Python3

---
 Dockerfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index c3f3b9e..d62cca0 100644
--- 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" ]