Added bootstrap call to INSTALL.
--- a/INSTALL Fri Mar 19 12:46:57 2010 +0100
+++ b/INSTALL Mon Mar 22 15:50:51 2010 +0100
@@ -18,6 +18,8 @@
For the impatient: The procedure mainly consists of calling
+$ ./boostrap # to create the configure script, if downloaded from the repo
+
$ ./configure
$ make all modules