diff options
-rw-r--r-- | scripts/man1/php-config.1.in | 4 | ||||
-rw-r--r-- | scripts/php-config.in | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/scripts/man1/php-config.1.in b/scripts/man1/php-config.1.in index 2e49bfac8c..5c60408f42 100644 --- a/scripts/man1/php-config.1.in +++ b/scripts/man1/php-config.1.in @@ -27,6 +27,10 @@ LD Flags which PHP was compiled with Extra libraries which PHP was compiled with .TP .PD 0 +.B \-\-man-dir +The directory prefix where the manpages is installed +.TP +.PD 0 .B \-\-extension-dir Directory where extensions are searched by default .TP 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] |