From bd0c93f12830bdc778b0ba1d385e7c86706c6f17 Mon Sep 17 00:00:00 2001 From: ewan-chalmers Date: Thu, 10 Oct 2024 17:28:54 +0100 Subject: [PATCH] mermaid --- docs/book/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/book/Makefile b/docs/book/Makefile index c211e22b0..68d863430 100644 --- a/docs/book/Makefile +++ b/docs/book/Makefile @@ -26,7 +26,7 @@ $(MDBOOK_TOC): MDBOOK_MERMAID := $(TOOLS_BIN_DIR)/mdbook-mermaid $(MDBOOK_MERMAID): - $(CRATE_INSTALL) --git badboy/mdbook-mermaid --tag v0.11.2 --to $(TOOLS_BIN_DIR) --force + $(CRATE_INSTALL) --git badboy/mdbook-mermaid --tag v0.8.3 --to $(TOOLS_BIN_DIR) --force DEPS := $(MDBOOK) $(MDBOOK_TOC) $(MDBOOK_MERMAID)