.circleci: Build and push mdbook (#1250)

ChainSafe · Oct 21, 2021 · c96c0af · c96c0af
1 parent 35392d4
commit c96c0af
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 2 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -277,6 +277,12 @@ jobs:
             - run:
                 name: Build Docs
                 command: cargo doc --no-deps
+            - run:
+                name: Install MdBook
+                command: cargo install mdbook
+            - run:
+                name: Compile MdBook
+                command: mdbook build ./documentation
             - run:
                 name: Publish Docs
                 command: bash ./scripts/build-rust-docs.sh

diff --git a/Makefile b/Makefile
@@ -107,4 +107,7 @@ docs:
 mdbook:
 	mdbook serve documentation
 
+mdbook-build:
+	mdbook build ./documentation
+
 .PHONY: clean clean-all lint build release test test-all test-release license test-vectors run-vectors pull-serialization-tests install docs run-serialization-vectors run-conformance-vectors
diff --git a/scripts/build-rust-docs.sh b/scripts/build-rust-docs.sh
@@ -1,8 +1,7 @@
 #!/bin/bash
 
-cd target/doc
+cd documentation/book
 git init
-echo '<meta http-equiv="refresh" content="0; url=https://chainsafe.github.io/forest/forest_vm/index.html">' > index.html
 git add .
 git config --global -l
 git -c user.name='ci' -c user.email='ci' commit -m 'Deploy documentation'