diff -r ede871c1fd91 -r 92f2e82084cd configure --- a/configure Wed Jun 25 08:34:47 2008 +0000 +++ b/configure Mon Jun 30 21:41:32 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