ci: add generate-doc-index target and use it in CI

Add a new Makefile target `generate-doc-index` for generating docs with
the nightly --enable-index-page feature, and update ci.yml to use it.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <[email protected]>

Author: dannywillems

.github/workflows/ci.yml

@@ -184,32 +184,7 @@ jobs:
           matrix.rust_and_os.os == needs.define-matrix.outputs.default_os
         run: |
           eval $(opam env)
-          # Note: We explicitly list features instead of using --all-features
-          # to avoid including no-std features which conflict with std-dependent
-          # code. See https://github.com/o1-labs/mina-rust/issues/1984
-          FEATURES="
-            arkworks/std,
-            arkworks/wasm,
-            internal-tracing/enabled,
-            internal-tracing/ocaml_types,
-            kimchi/bn254,
-            kimchi/check_feature_flags,
-            kimchi/diagnostics,
-            kimchi/internal_tracing,
-            kimchi/ocaml_types,
-            kimchi/wasm_types,
-            mina-curves/asm,
-            mina-poseidon/ocaml_types,
-            o1-utils/diagnostics,
-            o1vm/open_mips,
-            plonk_wasm/nodejs,
-            poly-commitment/ocaml_types
-          "
-          # Remove whitespace from FEATURES
-          FEATURES=$(echo "$FEATURES" | tr -d '[:space:]')
-          RUSTDOCFLAGS="--enable-index-page -Zunstable-options" \
-            cargo +nightly doc --features "$FEATURES" \
-            --no-deps --workspace --exclude xtask
+          make generate-doc-index
           cp -r ./target/doc ./book/book/html/rustdoc
 
       - name: Deploy

Makefile

@@ -215,6 +215,17 @@ generate-doc: ## Generate the Rust documentation
 		@echo "The documentation is available at: ./target/doc"
 		@echo ""
 
+generate-doc-index: ## Generate Rust docs with index page (requires nightly)
+		@echo ""
+		@echo "Generating the documentation with index page."
+		@echo ""
+		RUSTDOCFLAGS="--enable-index-page -Zunstable-options" \
+			cargo +nightly doc --features "$(WORKSPACE_FEATURES)" \
+			--no-deps --workspace --exclude xtask
+		@echo ""
+		@echo "The documentation is available at: ./target/doc"
+		@echo ""
+
 help: ## Ask for help!
 	@grep -E '^[a-zA-Z0-9_-]+:.*?## .*$$' $(MAKEFILE_LIST) | sort | awk 'BEGIN {FS = ":.*?## "}; {printf "\033[36m%-30s\033[0m %s\n", $$1, $$2}'
 
@@ -284,4 +295,4 @@ build-web: ## Compile the Kimchi library into WebAssembly to be used in the brow
 		--out-dir ${PLONK_WASM_WEB_OUTDIR} \
 		--rust-version $(NIGHTLY_RUST_VERSION)
 
-.PHONY: all setup install-test-deps clean build release test-doc test-doc-with-coverage test test-with-coverage test-heavy test-heavy-with-coverage test-all test-all-with-coverage nextest nextest-with-coverage nextest-heavy nextest-heavy-with-coverage nextest-all nextest-all-with-coverage format lint generate-test-coverage-report generate-doc setup-riscv32-toolchain help fclean build-riscv32-programs build-mips-programs check-format
+.PHONY: all setup install-test-deps clean build release test-doc test-doc-with-coverage test test-with-coverage test-heavy test-heavy-with-coverage test-all test-all-with-coverage nextest nextest-with-coverage nextest-heavy nextest-heavy-with-coverage nextest-all nextest-all-with-coverage format lint generate-test-coverage-report generate-doc generate-doc-index setup-riscv32-toolchain help fclean build-riscv32-programs build-mips-programs check-format