chore: fix index page

.github/workflows/docs.yml

@@ -1,4 +1,4 @@
-name: Build and Deploy Crate Docs to Vercel 
+name: Build and Deploy Crate Docs to Vercel
 
 on:
   push:
@@ -8,6 +8,9 @@ on:
   pull_request:
     branches: [main]
 
+env:
+  CARGO_NET_GIT_FETCH_WITH_CLI: true
+
 jobs:
   docs:
     permissions:
@@ -31,11 +34,14 @@ jobs:
             ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
 
       - name: Build documentation
-        run: cargo doc --workspace 
+        run: cargo doc --workspace
+        env:
+          RUSTDOCFLAGS: --html-in-header assets/head.html
+
+      - name: Build index page
+        run: cargo doc --workspace --no-deps --exclude "openvm-benchmarks"
         env:
-          CARGO_NET_GIT_FETCH_WITH_CLI: true
-          # taken from https://github.com/paradigmxyz/reth/blob/main/.github/workflows/book.yml
-          RUSTDOCFLAGS: --cfg docsrs --show-type-layout --generate-link-to-definition --enable-index-page -Zunstable-options --html-in-header assets/head.html
+          RUSTDOCFLAGS: --enable-index-page -Zunstable-options --html-in-header assets/head.html
 
       # TODO: make a special tag for doc commit when pushing v*.*.* tags
 
@@ -51,4 +57,4 @@ jobs:
           cd target/doc
           mkdir .vercel
           echo "{\"projectId\":\"$VERCEL_PROJECT_ID\",\"orgId\":\"$VERCEL_ORG_ID\"}" > .vercel/project.json
-          vercel --prod --token $VERCEL_TOKEN        
+          vercel --prod --token $VERCEL_TOKEN