diff -r ede871c1fd91 -r c9d37346d57f configure --- a/configure Wed Jun 25 08:34:47 2008 +0000 +++ b/configure Wed Jun 25 08:38:51 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