From 0a3905c3dc6bcbf888b60750aa7eb5d878589188 Mon Sep 17 00:00:00 2001
From: Jonathan Wang <31040440+jonathanpwang@users.noreply.github.com>
Date: Sat, 14 Dec 2024 23:09:04 -0500
Subject: [PATCH] chore(docs): show only workspace crates in sidebar (#1044)

---
 .github/workflows/docs.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index d1feed19de..140fa57f28 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -47,6 +47,7 @@ jobs:
         run: |
           cargo doc --workspace --no-deps --exclude "openvm-benchmarks" --target-dir target/doc-nodeps
           cp target/doc-nodeps/doc/index.html target/doc/
+          cp target/doc-nodeps/doc/crates.js target/doc/
         env:
           RUSTDOCFLAGS: --enable-index-page -Zunstable-options