Skip to content

Commit

Permalink
Merge pull request #1349 from o1-labs/dw/fix-mdbook
Browse files Browse the repository at this point in the history
MISC mdbook changes
  • Loading branch information
dannywillems authored Nov 30, 2023
2 parents a1d9861 + 476cfc4 commit 83fca30
Show file tree
Hide file tree
Showing 3 changed files with 94 additions and 99 deletions.
10 changes: 5 additions & 5 deletions book/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -2,12 +2,12 @@
# list versions of mdbook and mdbook plugins
#

MDBOOK_VERSION = 0.4.27
MDBOOK_ADMONISH_VERSION = 1.8.0
MDBOOK_VERSION = 0.4.35
MDBOOK_KATEX_VERSION = 0.3.8
MDBOOK_LINKCHECK_VERSION = 0.7.6
MDBOOK_ADMONISH_VERSION = 1.14.0
MDBOOK_LINKCHECK_VERSION = 0.7.7
MDBOOK_MERMAID_VERSION = 0.12.6
MDBOOK_TOC_VERSION = 0.11.2
MDBOOK_TOC_VERSION = 0.14.1

#
# use `make deps` to install the dependencies required to serve or build the book
Expand All @@ -26,7 +26,7 @@ deps:
#

define check_version
(cargo install --list | grep "$(1) v" | cut -d " " -f 2 | tr -d ':' | grep -Fx "v$(2)") || (echo "your $(1) version needs to be $(2)" && exit 1)
@(cargo install --list | grep "$(1) v" | cut -d " " -f 2 | tr -d ':' | grep -Fx "v$(2)") || (echo "your $(1) version needs to be $(2)" && exit 1)
endef

check:
Expand Down
6 changes: 4 additions & 2 deletions book/book.toml
Original file line number Diff line number Diff line change
Expand Up @@ -10,18 +10,20 @@ site-url = "/proof-systems/"
use-site-url-as-root = true
curly-quotes = true
git-repository-url = "https://www.github.com/o1-labs/proof-systems"
additional-css = ["./assets/css/mdbook-admonish.css", "././mdbook-admonish.css"]
additional-css = ["./assets/css/mdbook-admonish.css", "./mdbook-admonish.css"]
additional-js = ["mermaid.min.js", "mermaid-init.js"]

# for LaTeX
[output.katex]
[preprocessor.katex]
macros = "macros.txt" # crypto related macros (as close to cryptocode as possible)
throw-on-error = true
error-color = "#cc0000"

# for callouts
[preprocessor.admonish]
command = "mdbook-admonish"
assets_version = "2.0.0" # do not edit: managed by `mdbook-admonish install`
assets_version = "3.0.1" # do not edit: managed by `mdbook-admonish install`

# for protocol diagrams
[preprocessor.mermaid]
Expand Down
Loading

0 comments on commit 83fca30

Please sign in to comment.