From 6b484de9ccb952f2aa487d3615942cd1b0f4f3f2 Mon Sep 17 00:00:00 2001
From: Jim Hague <jim.hague@acm.org>
Date: Mon, 8 Jul 2019 09:46:52 +0100
Subject: [PATCH] Remove surplus space.

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

diff --git a/makeAll.sh b/makeAll.sh
index 5e7e096..57538a4 100755
--- a/makeAll.sh
+++ b/makeAll.sh
@@ -3,7 +3,7 @@
 # Build all forms of the Booke.
 #
 # Arguments are the names of the bookes to build. If a name is
-# prefixed '-', then do not include that section  in the Bumper Booke.
+# prefixed '-', then do not include that section in the Bumper Booke.
 
 if [[ $# -lt 1 ]]; then
     echo "Usage: makeAll.sh <booke dir name> [<booke dir name> ...]"