From d6b49b9738783aee95c8adbb800504eebeda6324 Mon Sep 17 00:00:00 2001
From: Nick Mathewson <nickm@torproject.org>
Date: Thu, 9 Nov 2023 15:17:23 -0500
Subject: build_html: use mdbook_mermaid when available.

This is much more convenient for folks who don't want to mess
with the jenga tower that is mermaid-cli.
---
 mdbook/proposals/mermaid-init.js | 1 +
 mdbook/spec/mermaid-init.js      | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 mdbook/proposals/mermaid-init.js
 create mode 100644 mdbook/spec/mermaid-init.js

(limited to 'mdbook')

diff --git a/mdbook/proposals/mermaid-init.js b/mdbook/proposals/mermaid-init.js
new file mode 100644
index 0000000..313a6e8
--- /dev/null
+++ b/mdbook/proposals/mermaid-init.js
@@ -0,0 +1 @@
+mermaid.initialize({startOnLoad:true});
diff --git a/mdbook/spec/mermaid-init.js b/mdbook/spec/mermaid-init.js
new file mode 100644
index 0000000..313a6e8
--- /dev/null
+++ b/mdbook/spec/mermaid-init.js
@@ -0,0 +1 @@
+mermaid.initialize({startOnLoad:true});
-- 
cgit v1.2.3-54-g00ecf