Fix haddocks references to libraries

IntersectMBO · Nov 16, 2023 · 5942242 · 5942242
1 parent afa7d7c
commit 5942242
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
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
@@ -137,7 +138,7 @@ jobs:
         path: ./haddocks
 
     - name: Deploy documentation to gh-pages 🚀
-      if: github.ref == 'refs/heads/main'
+      # if: github.ref == 'refs/heads/main'
       uses: peaceiris/actions-gh-pages@v3
       with:
         github_token: ${{ secrets.GITHUB_TOKEN || github.token }}