From 40da245d8d5a64e5bf55be2822167f7b03432cec Mon Sep 17 00:00:00 2001
From: Mark Schmitt <31215086+MarkSchmitt@users.noreply.github.com>
Date: Thu, 7 Jan 2021 08:50:04 +0100
Subject: [PATCH] Try to insall sphinx from pipfile

---
 .github/workflows/docker-publish.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docker-publish.yml b/.github/workflows/docker-publish.yml
index bce52b2e0..479f52a2c 100644
--- a/.github/workflows/docker-publish.yml
+++ b/.github/workflows/docker-publish.yml
@@ -53,7 +53,8 @@ jobs:
         command: "pip install -U pip"
     - name: dependencies
       run: |
-        pip install 'sphinx~=3.3' sphinx_rtd_theme
+        pip install --upgrade pipenv
+        pipenv install --system --dev --ignore-pipfile
     - name: make
       run: |
         cd docs/