1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index e4b5a169..1658aa4b 100755
--- a/configure
+++ b/configure
@@ -476,6 +476,7 @@ cat > Makefile.config <<EOF
 PREFIX=$prefix
 BINDIR=$bindir
 LIBDIR=$libdir
+MANDIR=$sharedir/man
 SHAREDIR=$sharedir
 OCAML_OPT_COMP=$ocaml_opt_comp
 EOF