From 460d202eb0b33450f67b460ccdd6cebf8969cb72 Mon Sep 17 00:00:00 2001
From: Mark Schmitt <31215086+MarkSchmitt@users.noreply.github.com>
Date: Thu, 7 Jan 2021 08:37:25 +0100
Subject: [PATCH] Use pip to install sphinx

Not sure why pipenv install doesn't do the trick .. let's try this way first
---
 .github/workflows/docker-publish.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/docker-publish.yml b/.github/workflows/docker-publish.yml
index 3d62a9f18..54281492e 100644
--- a/.github/workflows/docker-publish.yml
+++ b/.github/workflows/docker-publish.yml
@@ -44,8 +44,7 @@ jobs:
         command: "pip install -U pip"
     - name: dependencies
       run: |
-        sudo apt-get update -qq
-        sudo apt-get install -qq python3-sphinx
+        pip install 'sphinx~=3.3' sphinx_rtd_theme
     - name: make
       run: |
         cd docs/