Update doc.yml

nrybowski · Nov 25, 2024 · 0e43587 · 0e43587
1 parent 75c45b0
commit 0e43587
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -19,12 +19,14 @@ jobs:
       - uses: dtolnay/rust-toolchain@nightly
       - name: Build documentation
         id: build
-        run: cargo +nightly doc
+        run: |
+          cargo +nightly doc --no-deps
+          echo "<meta http-equiv=\"refresh\" content=\"0; url=dune_core\">" > target/doc/index.html
       - name: Upload documentation
         id: deploy
         uses: actions/upload-pages-artifact@v3
         with:
-          path: target/doc/dune_core
+          path: target/doc
   deploy:
     environment:
         name: github-pages