diff --git a/build b/build index 7ba3a47..91c7c32 100755 --- a/build +++ b/build @@ -4,7 +4,7 @@ set -euxo pipefail rm -rf public/ -if [ -x $(which mdbook) ] ; then +if [ -x "$(which mdbook)" ] ; then echo "mdBook found, running..." else echo "mdBook not found, downloading..."