From 555a9b3d7e0845acdc71aa1c0d4ef155bcd48d12 Mon Sep 17 00:00:00 2001
From: Michael Wolf <maw@pobox.com>
Date: Sat, 30 Sep 2023 17:27:49 -0600
Subject: [PATCH] Make shfmt happier

---
 install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install.sh b/install.sh
index 317aaba..f5d5f30 100755
--- a/install.sh
+++ b/install.sh
@@ -19,7 +19,7 @@ ret=0
 # for discussion of alternatives.
 
 for i in _reformat-common.bash do-reformat.sh would-reformat.sh .root; do
-    if [[ -f "$here"/bin/"$i" ]] ; then
+    if [[ -f "$here"/bin/"$i" ]]; then
         dest=$(readlink bin/"$i")
         if [[ "$dest" == "$DIR/$i" ]]; then
             echo "$i" is in place, good