1 files changed, 1 insertions, 0 deletions

diff --git a/configure b/configure
index 134001cd..68977113 100755
--- a/configure
+++ b/configure
@@ -477,6 +477,7 @@ cat > Makefile.config <<EOF
 PREFIX=$prefix
 BINDIR=$bindir
 LIBDIR=$libdir
+MANDIR=$sharedir/man
 SHAREDIR=$sharedir
 OCAML_OPT_COMP=$ocaml_opt_comp
 MENHIR_INCLUDES=$menhir_includes