From fa61430f7d80d823c84215f2788f5bf7120b2bb2 Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Wed, 17 Mar 2010 22:59:32 -0700 Subject: [PATCH] * configure: Fix comment mistake in previous change. --- configure | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/configure b/configure index be0d2cf080b..48c9da8a575 100755 --- a/configure +++ b/configure @@ -5668,11 +5668,11 @@ fi ## 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 -- 2.39.5