9 DOCDIR="${PREFIX}/share/doc"
10 MANDIR="${PREFIX}/share/man"
34 PREFIX=$(get_optval "$1" "$2")
36 [ -z "${BINDIR_set}" ] && BINDIR="${PREFIX}/bin"
37 [ -z "${LIBDIR_set}" ] && LIBDIR="${PREFIX}/lib"
38 [ -z "${DOCDIR_set}" ] && DOCDIR="${PREFIX}/share/doc"
39 [ -z "${MANDIR_set}" ] && MANDIR="${PREFIX}/share/man"
45 BINDIR=$(get_optval "$1" "$2")
53 LIBDIR=$(get_optval "$1" "$2")
61 DOCDIR=$(get_optval "$1" "$2")
69 MANDIR=$(get_optval "$1" "$2")
75 while [ $# -ne 0 ]; do
77 --prefix*) set_prefix "$1" "$2" && shift || shift 2;;
78 --bindir*) set_bindir "$1" "$2" && shift || shift 2;;
79 --libdir*) set_libdir "$1" "$2" && shift || shift 2;;
80 --docdir*) set_docdir "$1" "$2" && shift || shift 2;;
81 --mandir*) set_mandir "$1" "$2" && shift || shift 2;;
85 sed -r -e "s,@@BINDIR@@,${BINDIR},g;" \
86 -e "s,@@LIBDIR@@,${LIBDIR},g;" \
87 -e "s,@@DOCDIR@@,${DOCDIR},g;" \
88 -e "s,@@MANDIR@@,${MANDIR},g;" \
89 -e "s,@@VERSION@@,${VERSION},g;" \
90 -e "s,@@DATE@@,${DATE},g;" \