add autogen to INSTALL

diff --git a/INSTALL b/INSTALL
index 418b3002dbf220eed84946d4dc757c31b4d557ff..bbfa01f0a2bd7c6868e2c52ef077d39a8acd55fc 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -40,6 +40,7 @@ need the following.
 * Python 2.5.2 or later
 * Autoconf 2.60 or later
 * Automake 1.10.1 or later
+* Autogen 5.10 or later
 
 Prerequisites for make-check:
 

diff --git a/autogen.sh b/autogen.sh
index db640702b294618f17dcccc53d7fd935f30c20fa..46ccc06279eaca649d6df46a766414e63e4b859b 100755 (executable)
--- a/autogen.sh
+++ b/autogen.sh
@@ -2,6 +2,8 @@
 
 set -e
 
+autogen --version >/dev/null || (echo autogen missing; exit 1)
+
 echo "Creating symlinks..."
 ln -svf ../NEWS grub-core/
 ln -svf ../TODO grub-core/