Merge 3836b6e327 into ae52332c77

.github/workflows/book.yml

@@ -12,7 +12,7 @@ jobs:
       - uses: actions/checkout@v3
       - uses: actions-rs/toolchain@v1
         with:
-          toolchain: '1.76.0'
+          toolchain: nightly
           override: true
 
       # - name: Setup mdBook
@@ -26,7 +26,7 @@ jobs:
         uses: actions-rs/cargo@v1
         with:
           command: install
-          args: mdbook --git https://github.com/HollowMan6/mdBook.git --rev 5830c9555a4dc051675d17f1fcb04dd0920543e8
+          args: mdbook --git https://github.com/HollowMan6/mdBook.git --rev 62e01b34c23b957579c04ee1b24b57814ed8a4d5
 
       - name: Install mdbook-katex and mdbook-pdf
         uses: actions-rs/cargo@v1
@@ -40,11 +40,6 @@ jobs:
       - name: Build halo2 book
         run: mdbook build book/
 
-      - uses: actions-rs/toolchain@v1
-        with:
-          toolchain: nightly-2023-10-05 
-          override: true
-
       - name: Build latest rustdocs
         uses: actions-rs/cargo@v1
         with:

README.md

@@ -1,9 +1,6 @@
-# halo2
+# halo2 [![Crates.io](https://img.shields.io/crates/v/halo2.svg)](https://crates.io/crates/halo2) #
 
-## Usage
-
-This repository contains the [halo2_proofs](halo2_proofs/README.md) and
-[halo2_gadgets](halo2_gadgets/README.md) crates, which should be used directly.
+## [Documentation](https://docs.rs/halo2)
 
 ## Minimum Supported Rust Version
 

book/book.toml

@@ -14,6 +14,8 @@ title = "The halo2 Book"
 macros = "macros.txt"
 renderers = ["html"]
 
+[output.katex]
+
 [output.html]
 
 [output.html.print]