From 3a9087c838abb793dae7092214a11f7aaaefa9c8 Mon Sep 17 00:00:00 2001 From: Samy Al Bahra Date: Fri, 30 Mar 2012 11:39:39 -0400 Subject: [PATCH] build: Correct default MANDIR. --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index 5f696a8..0e7c3f4 100755 --- a/configure +++ b/configure @@ -161,7 +161,7 @@ done HEADERS=${HEADERS:-"${PREFIX}/include"} LIBRARY=${LIBRARY:-"${PREFIX}/lib"} -MANDIR=${MANDIR:-"${PREFIX}/man"} +MANDIR=${MANDIR:-"${PREFIX}/share/man"} GZIP=${GZIP:-"gzip -c"} if test "$PROFILE"; then