diff -r ede871c1fd91 -r 807124c3c3cb configure
--- a/configure	Wed Jun 25 08:34:47 2008 +0000
+++ b/configure	Thu Jul 03 08:56:30 2008 +0000
@@ -85,6 +85,8 @@
 
 Configuration:
   -h, --help              display this help and exit                                                                                                                  
+
+Installation directories:
   --prefix=PREFIX         install files in PREFIX [${PREFIX_DEFAULT}]
   --local                 don't install, and use current directory