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 | 11c957c2160d40b3339d162d95fe0376df31d84f (patch) | |
| tree | 999049e3d0dfe022cd10e29eeefd6d0ae5fe9c5b /configure | |
| parent | 6426b0ca5dc727c0878fe3ec0cdcc12e2648d966 (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.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -413,7 +413,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 |