From 1240a93ad54b4981deda0c20c2a1b0c2d80f0e09 Mon Sep 17 00:00:00 2001
From: Robert Gieseke <rob.g@web.de>
Date: Tue, 27 Feb 2024 19:29:31 +0100
Subject: [PATCH] Revert "Only run one sphinx build command"

This reverts commit 0451aeae9797f5c101d829af00d7c3f41b763566.
---
 .github/workflows/push.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index cf7413e..5c1a28e 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -44,6 +44,7 @@ jobs:
       run: |
         pip install sphinx>=1.8 sphinx_rtd_theme
         sphinx-build -M html docs docs/build -qW
+        sphinx-build -M html docs docs/build -Eqn -b coverage
         if [[ -s docs/build/html/index.html ]]
         then
           echo