From 988b8a9cbe955e1cc3af3ca85c47d41e248f5c30 Mon Sep 17 00:00:00 2001 From: Hannes Magnusson Date: Mon, 18 Apr 2011 11:13:37 +0000 Subject: Add an --man-dir to php-config too --- scripts/php-config.in | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'scripts/php-config.in') diff --git a/scripts/php-config.in b/scripts/php-config.in index f7d0bcd354..13c25f2904 100644 --- a/scripts/php-config.in +++ b/scripts/php-config.in @@ -10,6 +10,7 @@ includes="-I$include_dir -I$include_dir/main -I$include_dir/TSRM -I$include_dir/ ldflags="@PHP_LDFLAGS@" libs="@EXTRA_LIBS@" extension_dir='@EXTENSION_DIR@' +man_dir=`eval echo @mandir@` program_prefix="@program_prefix@" program_suffix="@program_suffix@" exe_extension="@EXEEXT@" @@ -59,6 +60,8 @@ case "$1" in echo $php_sapis;; --configure-options) echo $configure_options;; +--man-dir) + echo $man_dir;; --version) echo $version;; --vernum) @@ -73,6 +76,7 @@ Options: --libs [$libs] --extension-dir [$extension_dir] --include-dir [$include_dir] + --man-dir [$man_dir] --php-binary [$php_binary] --php-sapis [$php_sapis] --configure-options [$configure_options] -- cgit v1.2.1