CI: Update mdbook-katex

.github/workflows/book.yml

@@ -41,7 +41,7 @@ jobs:
                 pip install ghp-import
                 sudo apt -y install make wget
                 wget "https://github.com/badboy/mdbook-toc/releases/download/0.11.2/mdbook-toc-0.11.2-x86_64-unknown-linux-gnu.tar.gz"
-                wget "https://github.com/lzanini/mdbook-katex/releases/download/v0.3.14/mdbook-katex-v0.3.14-x86_64-unknown-linux-gnu.tar.gz"
+                wget "https://github.com/lzanini/mdbook-katex/releases/download/v0.4.1/mdbook-katex-v0.4.1-x86_64-unknown-linux-gnu.tar.gz"
                 wget "https://github.com/badboy/mdbook-mermaid/releases/download/v0.12.6/mdbook-mermaid-v0.12.6-x86_64-unknown-linux-gnu.tar.gz"
                 wget "https://github.com/rust-lang/mdBook/releases/download/v0.4.28/mdbook-v0.4.28-x86_64-unknown-linux-gnu.tar.gz"
                 for i in *.tar.gz; do

doc/Makefile

@@ -10,7 +10,7 @@ JSONRPC = \
 all: $(JSONRPC)
 	mdbook build
 	cp -f theme/logo* book/
-	#$(MAKE) -C ../ rustdoc
+	$(MAKE) -C ../ rustdoc
 	cp -r ../target/doc/* book/development/
 
 $(DARKFID_JSONRPC):