Fix haddocks references to libraries

IntersectMBO · Nov 10, 2023 · 4c73769 · 4c73769
1 parent f39ae4d
commit 4c73769
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/bin/haddocks.sh b/.github/bin/haddocks.sh
@@ -46,6 +46,7 @@ HADDOCK_OPTS=(
     --haddock-hyperlink-source
     --haddock-option "--show-all"
     --haddock-option "--use-unicode"
+    --haddock-option="--base-url=.."
     --disable-tests
     $DRY_RUN_ARGS
   )

diff --git a/.github/workflows/github-page.yml b/.github/workflows/github-page.yml
@@ -1,6 +1,7 @@
 name: "Haddock documentation"
 
 on:
+  pull_request: # REMOVEME
   push:
     branches:
       - main