From 248e4e5eb90ed465a0ca3febaed6bbdd3d2115dd Mon Sep 17 00:00:00 2001
From: Mark Schmitt <31215086+MarkSchmitt@users.noreply.github.com>
Date: Thu, 7 Jan 2021 07:57:12 +0100
Subject: [PATCH] Try installing sphinx simply with apt

---
 .github/workflows/docker-publish.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/docker-publish.yml b/.github/workflows/docker-publish.yml
index ab93fd8e7..3d62a9f18 100644
--- a/.github/workflows/docker-publish.yml
+++ b/.github/workflows/docker-publish.yml
@@ -45,9 +45,7 @@ jobs:
     - name: dependencies
       run: |
         sudo apt-get update -qq
-        sudo apt-get install -qq libpoppler-cpp-dev unpaper tesseract-ocr imagemagick ghostscript optipng
-        pip install --upgrade pipenv
-        pipenv install --system --dev
+        sudo apt-get install -qq python3-sphinx
     - name: make
       run: |
         cd docs/