From 544359d46e8d1bc3308363a4cdf5641c665c5a43 Mon Sep 17 00:00:00 2001 From: Robert Göhler Date: Sat, 4 Jan 2020 14:08:11 +0100 Subject: docker: readd sphinx-auto-build --- docker/Dockerfile | 1 + 1 file changed, 1 insertion(+) (limited to 'docker') diff --git a/docker/Dockerfile b/docker/Dockerfile index 24cab463..5e3095d7 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -31,6 +31,7 @@ RUN apt-get update && apt-get install -y \ RUN pip3 install Sphinx RUN pip3 install sphinx-rtd-theme +RUN pip3 install sphinx-autobuild # Cleanup RUN rm -rf /var/lib/apt/lists/* -- cgit v1.2.3