ghpages: build erct

jonsterling · Jan 2, 2024 · 799bc56 · 799bc56
1 parent c16519f
commit 799bc56
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -55,7 +55,7 @@ jobs:
         run: latex --version
 
       - name: Build with Forester
-        run: opam exec -- forester build --base-url="https://www.jonmsterling.com" --root=jms-0001 trees
+        run: opam exec -- forester build --base-url="https://www.jonmsterling.com" --root=jms-0001 erct/trees trees
 
       - name: Setup upterm session
         if: failure()