De-dup ci book build

2018-11-26 17:39:20 -08:00
parent 03ce45d93a
commit af1d9345e0
3 changed files with 32 additions and 26 deletions
--- a/ci/publish-book.sh
+++ b/ci/publish-book.sh
@@ -20,10 +20,7 @@ maybe_install() {
  done
 }

-export PATH=$CARGO_HOME/bin:$PATH
-maybe_install mdbook
-maybe_install svgbob_cli
-_ make -C book
+book/build.sh

 echo --- create book repo
 (