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 | |
| 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')
| -rw-r--r-- | mdbook/proposals/mermaid-init.js | 1 | ||||
| -rw-r--r-- | mdbook/spec/mermaid-init.js | 1 |
2 files changed, 2 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}); 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}); |