diff --git a/deploy.sh b/deploy.sh index 53bc472d..e1f453ce 100644 --- a/deploy.sh +++ b/deploy.sh @@ -3,20 +3,27 @@ # Exit on error or variable unset set -o errexit -o nounset +NC = '\e[39m' +CYAN = '\e[36m' +GREEN = '\e[32m' + rev=$(git rev-parse --short HEAD) +echo "${CYAN}Running cargo doc${NC}" # Run cargo doc cargo doc +echo "${CYAN}Running mdbook build${NC}" # Run mdbook to generate the book target/debug/mdbook build book-example/ +echo "${CYAN}Copying book to target/doc${NC}" # Copy files from rendered book to doc root -cp book-example/book/* target/doc/ +cp -R book-example/book/* target/doc/ cd target/doc - +echo "${CYAN}Initializing Git${NC}" git init git config user.name "Mathieu David" git config user.email "mathieudavid@mathieudavid.org" @@ -27,6 +34,9 @@ git reset upstream/gh-pages touch . +echo "${CYAN}Pushing changes to gh-pages${NC}" git add -A . git commit -m "rebuild pages at ${rev}" git push -q upstream HEAD:gh-pages + +echo "${GREEN}Deployement done${NC}"