summaryrefslogtreecommitdiff
path: root/config/kernel/mingw32.in
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-07-15 20:34:31 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-07-15 20:34:31 (GMT)
commit11c957c2160d40b3339d162d95fe0376df31d84f (patch)
tree999049e3d0dfe022cd10e29eeefd6d0ae5fe9c5b /config/kernel/mingw32.in
parent6426b0ca5dc727c0878fe3ec0cdcc12e2648d966 (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 'config/kernel/mingw32.in')
0 files changed, 0 insertions, 0 deletions