diff --git a/ci/publish-book.sh b/ci/publish-book.sh index a29fadff21..11d69a69c5 100755 --- a/ci/publish-book.sh +++ b/ci/publish-book.sh @@ -22,6 +22,7 @@ maybe_install() { export PATH=$CARGO_HOME/bin:$PATH maybe_install mdbook +maybe_install svgbob_cli _ make -C book echo --- create book repo diff --git a/ci/test-stable.sh b/ci/test-stable.sh index c3affea17a..0b0956379d 100755 --- a/ci/test-stable.sh +++ b/ci/test-stable.sh @@ -47,6 +47,7 @@ done # Build the HTML export PATH=$CARGO_HOME/bin:$PATH maybe_install mdbook +maybe_install svgbob_cli _ make -C book echo --- ci/localnet-sanity.sh