mirror of
https://github.com/php/php-src.git
synced 2025-08-15 13:38:49 +02:00
Add an --man-dir to php-config too
This commit is contained in:
parent
e9bc36522a
commit
988b8a9cbe
2 changed files with 8 additions and 0 deletions
|
@ -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
|
||||
|
|
|
@ -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]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue