changeset 107410:8747ece3d961

* configure: Fix comment mistake in previous change.
author Glenn Morris <rgm@gnu.org>
date Wed, 17 Mar 2010 22:59:32 -0700
parents 699a9df0de1e
children f96fe531e7a6
files configure
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Wed Mar 17 22:57:21 2010 -0700
+++ b/configure	Wed Mar 17 22:59:32 2010 -0700
@@ -5668,11 +5668,11 @@
 ## pre-built, and not deleted by the normal clean rules.  makeinfo is
 ## therefore in the category of "special tools" not normally required, which
 ## configure does not have to check for (eg autoconf itself).
-## In a CVS checkout on the other hand, the manuals are not included.
-## So makeinfo is a requirement to build from CVS, and configure
+## In a Bazaar checkout on the other hand, the manuals are not included.
+## So makeinfo is a requirement to build from Bazaar, and configure
 ## should test for it as it does for any other build requirement.
 ## We use the presence of $srcdir/info/emacs to distinguish a release,
-## with pre-built manuals, from a CVS checkout.
+## with pre-built manuals, from a Bazaar checkout.
 if test "$MAKEINFO" = "no"; then
   if test "x${with_makeinfo}" = "xno"; then
     MAKEINFO=off