changeset 104696:03d26796e3bb

Whitespace.
author Glenn Morris <rgm@gnu.org>
date Sat, 29 Aug 2009 02:21:54 +0000
parents de50a78ca529
children 89cb3b38143d
files Makefile.in
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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 \