From 938b933b57adeaf1b8f28c1223810461e2e3d3a4 Mon Sep 17 00:00:00 2001
From: David Himmelstrup <lemmih@gmail.com>
Date: Thu, 27 Aug 2020 17:53:00 +0800
Subject: [PATCH] Compute doc coverage with stack rather than cabal.

---
 .github/workflows/gh-pages.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 7aba40c..1a92ae9 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -69,7 +69,10 @@ jobs:
 
     - name: Haddock Badge
       run: |
-        cabal v2-haddock --enable-coverage | grep " in " | sort -hr > hpc/haddock.txt
+        # Stack is required because cabal doesn't build docs for dependencies.
+        # Without those, coverage will not reach 100%
+        stack build
+        stack haddock 2>&1 | grep " in " | sort -hr > hpc/haddock.txt
         COVERAGE=$(awk '{good += $3; total += $5} END {printf "%.0f", good/total*100}' hpc/haddock.txt)
         echo "\
           { \"schemaVersion\": 1, \