diff options
author | Nick Mathewson <nickm@torproject.org> | 2023-11-09 15:17:23 -0500 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2023-11-09 16:42:47 -0500 |
commit | d6b49b9738783aee95c8adbb800504eebeda6324 (patch) | |
tree | e21c292333ff38d0297792b5f30e5f3de010181a /mdbook/proposals | |
parent | 729b79c61b9ac979563f34118add1d6b2ebd022f (diff) | |
download | torspec-d6b49b9738783aee95c8adbb800504eebeda6324.tar.gz torspec-d6b49b9738783aee95c8adbb800504eebeda6324.zip |
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.
Diffstat (limited to 'mdbook/proposals')
-rw-r--r-- | mdbook/proposals/mermaid-init.js | 1 |
1 files changed, 1 insertions, 0 deletions
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}); |