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 | 3df1f7425e8ea07fd46604373ac1d2773b32e9ed (patch) | |
| tree | dd90c6efeb2f1b6bda4c19cda2c4869d0096bf36 /Makefile.in | |
| parent | 7caa847f7c46f830e538cfe7df87ff796ebe7500 (diff) | |
| download | emacs-3df1f7425e8ea07fd46604373ac1d2773b32e9ed.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 \ |