Add toplevel index.html

2026-06-20 04:16:10 -07:00 · 2021-02-17 02:14:42 +01:00
parent bf1b8c7f51
commit 27e2b5acaf
2 changed files with 102 additions and 1 deletions
@@ -17,7 +17,7 @@ jobs:
        profile: minimal

    - name: Build Documentation
-      run: cargo doc --no-deps
+      run: cargo doc --no-deps && scripts/make-toplevel-index.sh

    - name: Deploy Docs
      uses: peaceiris/actions-gh-pages@v3