mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
man page: long option name is --strip, not --stripped
This commit is contained in:
parent
c73b0543f1
commit
b1df743b7a
1 changed files with 1 additions and 1 deletions
|
@ -289,7 +289,7 @@ Specify the document root to be used by the built-in web server
|
|||
Version number
|
||||
.TP
|
||||
.PD 0
|
||||
.B \-\-stripped
|
||||
.B \-\-strip
|
||||
.TP
|
||||
.PD 1
|
||||
.B \-w
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue