diff options
author | Sascha Schumann <sas@php.net> | 2003-02-11 23:46:39 +0000 |
---|---|---|
committer | Sascha Schumann <sas@php.net> | 2003-02-11 23:46:39 +0000 |
commit | 1fc7f0d93729de545af5db53569c7c21e04aa8fe (patch) | |
tree | 393e75b888e31e5eb8bb3b9a95316eff3de07669 | |
parent | 246a075624e8578be56e9979094e30827e65fb3e (diff) | |
download | php-git-1fc7f0d93729de545af5db53569c7c21e04aa8fe.tar.gz |
supply mandir to makefile
-rw-r--r-- | configure.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 44b856b9f1..373a500946 100644 --- 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) |