supply mandir to makefile

diff --git a/configure.in b/configure.in
index 44b856b9f18da723b77cf16a13c96ae133928529..373a5009462ff72e1c44aac2abea59f994f722da 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -987,6 +987,7 @@ PHP_SUBST(bindir)
 PHP_SUBST(exec_prefix)
 PHP_SUBST(includedir)
 PHP_SUBST(libdir)
+PHP_SUBST(mandir)
 PHP_SUBST(phplibdir)
 PHP_SUBST(phptempdir)
 PHP_SUBST(prefix)