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/man1/php-config.1.in | |
| parent | e9bc36522a276b462a558d4c4404ea53be2e9b93 (diff) | |
| download | php-git-988b8a9cbe955e1cc3af3ca85c47d41e248f5c30.tar.gz | |
Add an --man-dir to php-config too
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 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 |