Skip to content

Commit

Permalink
Merge pull request #814 from adria0/fix/mdbook
Browse files Browse the repository at this point in the history
Fix MD book generation
  • Loading branch information
daira authored Feb 26, 2024
2 parents 81729ec + daaa638 commit 7df93fd
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 4 deletions.
9 changes: 7 additions & 2 deletions .github/workflows/book.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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
Expand All @@ -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:
Expand Down
2 changes: 0 additions & 2 deletions book/book.toml
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,6 @@ title = "The halo2 Book"
macros = "macros.txt"
renderers = ["html"]

[output.katex]

[output.html]

[output.html.print]
Expand Down

0 comments on commit 7df93fd

Please sign in to comment.