diff options
author | Hannes Magnusson <bjori@php.net> | 2011-04-18 11:13:37 +0000 |
---|---|---|
committer | Hannes Magnusson <bjori@php.net> | 2011-04-18 11:13:37 +0000 |
commit | 988b8a9cbe955e1cc3af3ca85c47d41e248f5c30 (patch) | |
tree | c1ecf712704cca3e51dbcb208b50fcdf4f8848c0 /scripts/php-config.in | |
parent | e9bc36522a276b462a558d4c4404ea53be2e9b93 (diff) | |
download | php-git-988b8a9cbe955e1cc3af3ca85c47d41e248f5c30.tar.gz |
Add an --man-dir to php-config too
Diffstat (limited to 'scripts/php-config.in')
-rw-r--r-- | scripts/php-config.in | 4 |
1 files changed, 4 insertions, 0 deletions
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] |