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 | 5ca8ba7ab655f8b434ac12577c470b5f2b9eb646 (patch) | |
| tree | 3d67bd5e5cbf917989c6bb96931766b2cd6dcf9b /scripts/php-config.in | |
| parent | a0d805035c676a1a2890b19fb7d5ff5547273090 (diff) | |
| download | php-git-5ca8ba7ab655f8b434ac12577c470b5f2b9eb646.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] |