diff options
| author | Glenn Morris | 2009-08-29 02:21:54 +0000 |
|---|---|---|
| committer | Glenn Morris | 2009-08-29 02:21:54 +0000 |
| commit | 278b354f097e17cd01b82ccb1bceca58681a64f1 (patch) | |
| tree | aa6532980930a4ddeaf86cbea2cd25c5ace699b2 | |
| parent | 2bc6a820b6307dd1af06dcc748113f2accb89a32 (diff) | |
| download | emacs-278b354f097e17cd01b82ccb1bceca58681a64f1.tar.gz emacs-278b354f097e17cd01b82ccb1bceca58681a64f1.zip | |
Whitespace.
| -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: | |||
| 822 | # and give a standard error if makeinfo is needed but missing. | 822 | # and give a standard error if makeinfo is needed but missing. |
| 823 | # While it would be nice to give a more detailed error message, that | 823 | # While it would be nice to give a more detailed error message, that |
| 824 | # would require changing every rule in doc/ that builds an info file, | 824 | # would require changing every rule in doc/ that builds an info file, |
| 825 | # and it's not worth it. This case is only relevant if you download a | 825 | # and it's not worth it. This case is only relevant if you download a |
| 826 | # release, then change the .texi files. | 826 | # release, then change the .texi files. |
| 827 | info: force-info | 827 | info: force-info |
| 828 | @if test "$(MAKEINFO)" = "off"; then \ | 828 | @if test "$(MAKEINFO)" = "off"; then \ |