diff options
| author | Remi Collet <remi@php.net> | 2013-07-02 10:46:50 +0200 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2013-07-02 10:46:50 +0200 |
| commit | f4ce5e7fb65ce215ea5fd182a90aaa4d634f6023 (patch) | |
| tree | fca6b7debf0750328fac3b2a42d45403e26ca2cc /ext/phar/config.m4 | |
| parent | 4bc11af193cef12d7469143b7969b929a7dbf926 (diff) | |
| download | php-git-f4ce5e7fb65ce215ea5fd182a90aaa4d634f6023.tar.gz | |
Fixed Bug #65142 Missing phar man page
Simple man page from phar help output.
Diffstat (limited to 'ext/phar/config.m4')
| -rw-r--r-- | ext/phar/config.m4 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ext/phar/config.m4 b/ext/phar/config.m4 index 2ac7f3dd81..d424060f2a 100644 --- a/ext/phar/config.m4 +++ b/ext/phar/config.m4 @@ -27,4 +27,6 @@ if test "$PHP_PHAR" != "no"; then PHP_ADD_EXTENSION_DEP(phar, hash, true) PHP_ADD_EXTENSION_DEP(phar, spl, true) PHP_ADD_MAKEFILE_FRAGMENT + + PHP_OUTPUT(ext/phar/phar.1 ext/phar/phar.phar.1) fi |