diff options
| author | Glenn Morris | 2010-03-17 22:59:32 -0700 |
|---|---|---|
| committer | Glenn Morris | 2010-03-17 22:59:32 -0700 |
| commit | fa61430f7d80d823c84215f2788f5bf7120b2bb2 (patch) | |
| tree | 965d10071c553efd36b1a066ef16040a32581a08 | |
| parent | 91e84f9636936c593ea772d1d2bf181d01e6e737 (diff) | |
| download | emacs-fa61430f7d80d823c84215f2788f5bf7120b2bb2.tar.gz emacs-fa61430f7d80d823c84215f2788f5bf7120b2bb2.zip | |
* configure: Fix comment mistake in previous change.
| -rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
| @@ -5668,11 +5668,11 @@ fi | |||
| 5668 | ## pre-built, and not deleted by the normal clean rules. makeinfo is | 5668 | ## pre-built, and not deleted by the normal clean rules. makeinfo is |
| 5669 | ## therefore in the category of "special tools" not normally required, which | 5669 | ## therefore in the category of "special tools" not normally required, which |
| 5670 | ## configure does not have to check for (eg autoconf itself). | 5670 | ## configure does not have to check for (eg autoconf itself). |
| 5671 | ## In a CVS checkout on the other hand, the manuals are not included. | 5671 | ## In a Bazaar checkout on the other hand, the manuals are not included. |
| 5672 | ## So makeinfo is a requirement to build from CVS, and configure | 5672 | ## So makeinfo is a requirement to build from Bazaar, and configure |
| 5673 | ## should test for it as it does for any other build requirement. | 5673 | ## should test for it as it does for any other build requirement. |
| 5674 | ## We use the presence of $srcdir/info/emacs to distinguish a release, | 5674 | ## We use the presence of $srcdir/info/emacs to distinguish a release, |
| 5675 | ## with pre-built manuals, from a CVS checkout. | 5675 | ## with pre-built manuals, from a Bazaar checkout. |
| 5676 | if test "$MAKEINFO" = "no"; then | 5676 | if test "$MAKEINFO" = "no"; then |
| 5677 | if test "x${with_makeinfo}" = "xno"; then | 5677 | if test "x${with_makeinfo}" = "xno"; then |
| 5678 | MAKEINFO=off | 5678 | MAKEINFO=off |