Whitespace.

diff --git a/Makefile.in b/Makefile.in
index 82b0746babc8551e39dfec63509fa1156bcaf1a0..80995cd32a647755dd1293ae548f855058d7b731 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -822,7 +822,7 @@ force-info:
 # and give a standard error if makeinfo is needed but missing.
 # While it would be nice to give a more detailed error message, that
 # would require changing every rule in doc/ that builds an info file,
-# and it's not worth it. This case is only relevant if you download a
+# and it's not worth it.  This case is only relevant if you download a
 # release, then change the .texi files.
 info: force-info
        @if test "$(MAKEINFO)" = "off"; then \