From e1128ae5d2c341821eb2aa99e103fca00d721bb0 Mon Sep 17 00:00:00 2001
From: Stavros Korokithakis <hi@stavros.io>
Date: Sat, 20 Nov 2021 04:22:40 +0200
Subject: [PATCH] Download mdBook if it doesn't exist better

---
 build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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..."