diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 4739a6a..72c7d0d 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -43,6 +43,21 @@ jobs: - name: Build documentation run: cargo doc --all-features --no-deps --workspace + - name: Create index.html redirect for GitHub Pages + run: | + cat > target/doc/index.html << 'EOF' + + +
+ +Redirecting to OpenProt Documentation...
+ + + EOF + - name: Check for broken links in docs run: | cargo install cargo-deadlinks