1.1 --- a/configure Mon Jul 02 19:40:54 2007 +0000
1.2 +++ b/configure Wed Jul 04 17:06:58 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__