Fix GitHub Pages build (#81)

9999years · Oct 21, 2024 · 3130418 · 3130418
1 parent 38bd70d
commit 3130418
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/pages.yaml b/.github/workflows/pages.yaml
@@ -27,10 +27,10 @@ jobs:
 
       - name: Build user manual
         run: |
-          RESULT=$(nix build --no-link --print-out-paths --print-build-logs .#ghciwatch.user-manual)
-          cp -r "$RESULT/share/ghciwatch/html-manual" ghciwatch-user-manual
+          RESULT=$(nix build --no-link --print-out-paths --print-build-logs .#git-prole.user-manual)
+          cp -r "$RESULT/share/git-prole/html-manual" git-prole-user-manual
 
       - name: Publish to GitHub Pages
         uses: JamesIves/github-pages-deploy-action@v4
         with:
-          folder: ghciwatch-user-manual/
+          folder: git-prole-user-manual/
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
@@ -197,9 +197,9 @@ jobs:
         #     - uses: actions/upload-artifact@v4
         #       with:
         #         name: linux
-        #         path: target/release/ghciwatch-aarch64-linux
+        #         path: target/release/git-prole-aarch64-linux
         #
-        # will be downloaded to `linux/ghciwatch-aarch64-linux`.
+        # will be downloaded to `linux/git-prole-aarch64-linux`.
         uses: actions/download-artifact@v4
 
       - name: Create release