diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 9db3c8b0953..b1cc10314a1 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -29,7 +29,9 @@ jobs: - name: Setup sccache uses: mozilla-actions/sccache-action@v0.0.4 - name: Build the docs - run: cargo doc --all --no-deps + run: | + cargo doc --all --no-deps + cp -f .maintain/index.html target/doc - name: Deploy the docs if: github.event_name != 'pull_request' uses: peaceiris/actions-gh-pages@v3 diff --git a/.maintain/index.html b/.maintain/index.html new file mode 100644 index 00000000000..65207b26e9d --- /dev/null +++ b/.maintain/index.html @@ -0,0 +1,3 @@ + + +