From daaa6389662cc61006d3a6948065fd032feb4355 Mon Sep 17 00:00:00 2001
From: adria0 <adria0@nowhere>
Date: Thu, 22 Feb 2024 22:28:36 +0100
Subject: [PATCH] fix(mdbook): fix generation

---
 .github/workflows/book.yml | 9 +++++++--
 book/book.toml             | 2 --
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/book.yml b/.github/workflows/book.yml
index 3e6e5e3deb..35759a06bf 100644
--- a/.github/workflows/book.yml
+++ b/.github/workflows/book.yml
@@ -12,7 +12,7 @@ jobs:
       - uses: actions/checkout@v3
       - uses: actions-rs/toolchain@v1
         with:
-          toolchain: nightly
+          toolchain: '1.76.0'
           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 62e01b34c23b957579c04ee1b24b57814ed8a4d5
+          args: mdbook --git https://github.com/HollowMan6/mdBook.git --rev 5830c9555a4dc051675d17f1fcb04dd0920543e8
 
       - name: Install mdbook-katex and mdbook-pdf
         uses: actions-rs/cargo@v1
@@ -40,6 +40,11 @@ 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:
diff --git a/book/book.toml b/book/book.toml
index eef625c662..a865632d3e 100644
--- a/book/book.toml
+++ b/book/book.toml
@@ -14,8 +14,6 @@ title = "The halo2 Book"
 macros = "macros.txt"
 renderers = ["html"]
 
-[output.katex]
-
 [output.html]
 
 [output.html.print]