forgot bash-file

deltadevsde · Sep 17, 2024 · d5187da · d5187da
1 parent 943872d
commit d5187da
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/bash.sh b/bash.sh
@@ -0,0 +1,16 @@
+#!/bin/bash
+set -e 
+
+cd doc
+
+# install mdbook
+curl -Lo mdbook.tar.gz https://github.com/rust-lang/mdBook/releases/download/v0.4.32/mdbook-v0.4.32-x86_64-unknown-linux-musl.tar.gz
+tar -xvzf mdbook.tar.gz
+
+# load katex and unpack it
+curl -Lo mdbook-katex.tar.gz https://github.com/lzanini/mdbook-katex/releases/download/v0.2.13/mdbook-katex-v0.2.13-x86_64-unknown-linux-musl.tar.gz
+tar -xvzf mdbook-katex.tar.gz
+
+chmod +x mdbook mdbook-katex
+
+./mdbook build