comparison configure @ 106652:7b9e6639caa3

* INSTALL.BZR: Rename from INSTALL.CVS, edit to talk about Bazaar. * INSTALL, autogen.sh, configure.in, configure: Adjust accordingly.
author Karl Fogel <kfogel@red-bean.com>
date Sun, 27 Dec 2009 17:26:27 -0500
parents 12138f085fa7
children 8c60b70f9505
comparison
equal deleted inserted replaced
106651:5fdab8db3bcb 106652:7b9e6639caa3
5602 5602
5603 ## Makeinfo is unusual. For a released Emacs, the manuals are 5603 ## Makeinfo is unusual. For a released Emacs, the manuals are
5604 ## pre-built, and not deleted by the normal clean rules. makeinfo is 5604 ## pre-built, and not deleted by the normal clean rules. makeinfo is
5605 ## therefore in the category of "special tools" not normally required, which 5605 ## therefore in the category of "special tools" not normally required, which
5606 ## configure does not have to check for (eg autoconf itself). 5606 ## configure does not have to check for (eg autoconf itself).
5607 ## In a CVS checkout on the other hand, the manuals are not included. 5607 ## In a Bazaar checkout on the other hand, the manuals are not included.
5608 ## So makeinfo is a requirement to build from CVS, and configure 5608 ## So makeinfo is a requirement to build from Bazaar, and configure
5609 ## should test for it as it does for any other build requirement. 5609 ## should test for it as it does for any other build requirement.
5610 ## We use the presence of $srcdir/info/emacs to distinguish a release, 5610 ## We use the presence of $srcdir/info/emacs to distinguish a release,
5611 ## with pre-built manuals, from a CVS checkout. 5611 ## with pre-built manuals, from a Bazaar checkout.
5612 if test "$MAKEINFO" = "no"; then 5612 if test "$MAKEINFO" = "no"; then
5613 if test "x${with_makeinfo}" = "xno"; then 5613 if test "x${with_makeinfo}" = "xno"; then
5614 MAKEINFO=off 5614 MAKEINFO=off
5615 elif ! test -e $srcdir/info/emacs; then 5615 elif ! test -e $srcdir/info/emacs; then
5616 { { $as_echo "$as_me:$LINENO: error: You do not seem to have makeinfo >= 4.6, and your 5616 { { $as_echo "$as_me:$LINENO: error: You do not seem to have makeinfo >= 4.6, and your