fix

openvm-org · Dec 14, 2024 · 55baee2 · 55baee2
1 parent 9224f11
commit 55baee2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -35,13 +35,11 @@ jobs:
 
       - name: Build documentation
         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:
-          RUSTDOCFLAGS: --enable-index-page -Zunstable-options --html-in-header assets/head.html
+          RUSTDOCFLAGS: --enable-index-page -Zunstable-options
 
       # TODO: make a special tag for doc commit when pushing v*.*.* tags
 

diff --git a/assets/head.html b/assets/head.html