# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1251512514 0
# Node ID 03d26796e3bb97488ab05885e3ab5b5415430700
# Parent  de50a78ca5299b6107df2413302a85b43f088da6
Whitespace.

diff -r de50a78ca529 -r 03d26796e3bb Makefile.in
--- a/Makefile.in	Sat Aug 29 02:19:37 2009 +0000
+++ b/Makefile.in	Sat Aug 29 02:21:54 2009 +0000
@@ -822,7 +822,7 @@
 # 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 \