diff options
| author | Karl Fogel <kfogel@red-bean.com> | 2009-12-27 17:26:27 -0500 |
|---|---|---|
| committer | Karl Fogel <kfogel@red-bean.com> | 2009-12-27 17:26:27 -0500 |
| commit | 8bb25908552b44a425beb91d3035b1c091d2d6f2 (patch) | |
| tree | 3bf0056dd3c17d145e664af2a3f57807f8d2d7df /configure | |
| parent | 11e3c6841270082394ccf01a64af820806d3962f (diff) | |
| download | emacs-8bb25908552b44a425beb91d3035b1c091d2d6f2.tar.gz | |
* INSTALL.BZR: Rename from INSTALL.CVS, edit to talk about Bazaar.
* INSTALL, autogen.sh, configure.in, configure: Adjust accordingly.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/configure b/configure index 8372aab03c3..2a6aeb52b9d 100755 --- a/configure +++ b/configure @@ -5604,11 +5604,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 |