diff options
| author | Ondřej Surý <ondrej@sury.org> | 2011-08-19 10:22:38 +0200 |
|---|---|---|
| committer | Ondřej Surý <ondrej@sury.org> | 2011-08-19 10:22:38 +0200 |
| commit | f452a2b3e4e4279b27594a8ddb66525442d59227 (patch) | |
| tree | d05cb62c5515ada33076d3cc3e49b664733a478c /scripts/man1/php-config.1.in | |
| parent | 038ba12e8724d537040e88ec794354b0c063f0a6 (diff) | |
| download | php-upstream/5.3.7.tar.gz | |
Imported Upstream version 5.3.7upstream/5.3.7
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 2e49bfac8..5c60408f4 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 |
