diff configure.in @ 106655:2c3ce96392f9

Merge: document that we are on Bazaar now.
author Karl Fogel <kfogel@red-bean.com>
date Sun, 27 Dec 2009 17:28:35 -0500
parents 7b9e6639caa3
children 8c60b70f9505
line wrap: on
line diff
--- a/configure.in	Sun Dec 27 22:38:14 2009 +0100
+++ b/configure.in	Sun Dec 27 17:28:35 2009 -0500
@@ -799,11 +799,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