diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-07-15 20:34:31 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-07-15 20:34:31 (GMT) |
commit | 82d882fd286902b15d7ebacb0bd9a10ef986abf2 (patch) | |
tree | bb9ea6c8d340301207c152f1630c150271538525 /configure | |
parent | 611b74e36a5a1ad7b1424dc1705c4edf2eae3666 (diff) |
configure: fix --mandir
--mandir points to the base dir of the man pages, so
we have to append our man section below given dir.
(transplanted from a8a4d5c9773893fa6978e5f9e1445d1e8185c24a)
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -408,7 +408,7 @@ printf "${VERSION}\n" [ -z "${BINDIR_set}" ] && BINDIR="${PREFIX}/bin" [ -z "${LIBDIR_set}" ] && LIBDIR="${PREFIX}/lib" [ -z "${DOCDIR_set}" ] && DOCDIR="${PREFIX}/share/doc" -[ -z "${MANDIR_set}" ] && MANDIR="${PREFIX}/share/man/man1" +[ -z "${MANDIR_set}" ] && MANDIR="${PREFIX}/share/man" # Install support files in our own sub-dir, so as not to mangle (system) # files and dirs, but only if not --local |