1.1 --- a/configure	Mon Jul 02 19:40:54 2007 +0000
     1.2 +++ b/configure	Tue Jul 03 22:05:00 2007 +0000
     1.3 @@ -9,7 +9,6 @@
     1.4  LIBDIR_set=
     1.5  DOCDIR_set=
     1.6  MANDIR_set=
     1.7 -LOCAL_set=
     1.8  
     1.9  get_optval(){
    1.10      local ret
    1.11 @@ -80,7 +79,6 @@
    1.12  Configuration:
    1.13    -h, --help              display this help and exit                                                                                                                  
    1.14    --prefix=PREFIX         install files in PREFIX [${PREFIX_DEFAULT}]
    1.15 -  --local                 don't install, and use current directory
    1.16  
    1.17  By default, \`make install' will install all the files in
    1.18  \`${PREFIX_DEFAULT}/bin', \`${PREFIX_DEFAULT}/lib' etc.  You can specify
    1.19 @@ -104,20 +102,12 @@
    1.20          --libdir*)  set_libdir "$1" "$2" && shift || shift 2;;
    1.21          --docdir*)  set_docdir "$1" "$2" && shift || shift 2;;
    1.22          --mandir*)  set_mandir "$1" "$2" && shift || shift 2;;
    1.23 -        --local)    LOCAL_set=1; shift;;
    1.24          --help|-h)  do_help; exit 0;;
    1.25          *)          do_help; exit 1;;
    1.26      esac
    1.27  done
    1.28  
    1.29  [ -z "${PREFIX}" ] && set_prefix "" "${PREFIX_DEFAULT}"
    1.30 -if [ "${LOCAL_set}" = "1" ]; then
    1.31 -    set_prefix "" $(pwd)
    1.32 -    set_bindir "" $(pwd)
    1.33 -    set_libdir "" $(pwd)
    1.34 -    set_docdir "" $(pwd)/docs
    1.35 -    set_mandir "" $(pwd)/docs
    1.36 -fi
    1.37  
    1.38  sed -r -e "s,@@BINDIR@@,${BINDIR},g;"   \
    1.39         -e "s,@@LIBDIR@@,${LIBDIR},g;"   \
    1.40 @@ -125,7 +115,6 @@
    1.41         -e "s,@@MANDIR@@,${MANDIR},g;"   \
    1.42         -e "s,@@VERSION@@,${VERSION},g;" \
    1.43         -e "s,@@DATE@@,${DATE},g;"       \
    1.44 -       -e "s,@@LOCAL@@,${LOCAL_set},g;" \
    1.45         Makefile.in >Makefile
    1.46  
    1.47  cat <<__EOF__