diff options
| author | Glenn Morris <rgm@gnu.org> | 2009-08-29 02:21:54 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2009-08-29 02:21:54 +0000 |
| commit | 278b354f097e17cd01b82ccb1bceca58681a64f1 (patch) | |
| tree | aa6532980930a4ddeaf86cbea2cd25c5ace699b2 /Makefile.in | |
| parent | 2bc6a820b6307dd1af06dcc748113f2accb89a32 (diff) | |
| download | emacs-278b354f097e17cd01b82ccb1bceca58681a64f1.tar.gz | |
Whitespace.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
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 \ |