# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1562575612 -3600
# Node ID 7d651994b776493b99c7648bdc60c524208132c3
# Parent  49e026560f733d8c9fdd85cab644d67abd52f679
Remove surplus space.

diff -r 49e026560f73 -r 7d651994b776 makeAll.sh
--- a/makeAll.sh	Sun Jul 07 22:32:50 2019 +0100
+++ b/makeAll.sh	Mon Jul 08 09:46:52 2019 +0100
@@ -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> ...]"