From 278b354f097e17cd01b82ccb1bceca58681a64f1 Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Sat, 29 Aug 2009 02:21:54 +0000 Subject: [PATCH] Whitespace. --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 82b0746babc..80995cd32a6 100644 --- 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 \ -- 2.39.2