chore: add base tag to work around trailing slash issues (#129)

leanprover · Oct 29, 2024 · c6c98d9 · c6c98d9
1 parent 08dece6
commit c6c98d9
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -73,10 +73,17 @@ jobs:
         run: |
           lake build
 
-      - name: Generate HTML
+      - name: Generate HTML (non-release)
+        if: github.event_name != 'release'
         run: |
           lake exe generate-manual --depth 2 --with-word-count "words.txt"
 
+      - name: Generate HTML (release)
+        if: github.event_name == 'release'
+        # Include the base to fix trailing slash issue on Netlify
+        run: |
+          lake exe generate-manual --depth 2 --with-word-count "words.txt" --base-url "/doc/reference/latest/"
+
       - name: Generate proofreading HTML
         if: github.event_name == 'pull_request'
         run: |

diff --git a/lake-manifest.json b/lake-manifest.json
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "f323aacf146f5c49f3b36810918a14c6c1fe662e",
+   "rev": "5c52bb98802c3c7329041ac7e3e17b5a330e6b5b",
    "name": "verso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",