From c175f0268aceb41b61f1498c8fc71f1f764c9129 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Wed, 6 Mar 2019 09:50:42 -0800
Subject: [PATCH] make site: remove a bashism

[ci skip]
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 8b1c054dc..05f0d2922 100644
--- a/Makefile
+++ b/Makefile
@@ -710,7 +710,7 @@ site-livereload: \
 .PHONY: site
 site: \
 		$(call def-help,site, update the hledger.org website (run on prod) )
-	@[[ ! -x Shake ]] \
+	@[ ! -x Shake ] \
 		&& echo 'Please run "make Shake" first (manual compilation of Shake.hs is required)' \
 		|| ( \
 			echo; \