diff options
| author | foobar <sniper@php.net> | 2005-11-21 23:07:36 +0000 |
|---|---|---|
| committer | foobar <sniper@php.net> | 2005-11-21 23:07:36 +0000 |
| commit | bcade7ced45d0873e93c6f486d8fe7dd466fcf74 (patch) | |
| tree | 722ec72f69a97f9ba995c17b265b367bee45258b /scripts/man1/php-config.1.in | |
| parent | 77e5a7e3003a1432e4418ab7f768fe26cb2eb900 (diff) | |
| download | php-git-bcade7ced45d0873e93c6f486d8fe7dd466fcf74.tar.gz | |
- Fixed header installing under phpize builds
Diffstat (limited to 'scripts/man1/php-config.1.in')
| -rw-r--r-- | scripts/man1/php-config.1.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/man1/php-config.1.in b/scripts/man1/php-config.1.in index bdc5654785..c4a6998f9a 100644 --- a/scripts/man1/php-config.1.in +++ b/scripts/man1/php-config.1.in @@ -51,6 +51,10 @@ Extra libraries which PHP was compiled with Directory where extensions are searched by default .TP .PD 0 +.B \-\-include-dir +Directory prefix where header files are installed by default +.TP +.PD 0 .B \-\-php-binary Full path to php CLI/CGI binary .TP |