diff options
Diffstat (limited to 'docs/CommandGuide/extract.html')
| -rw-r--r-- | docs/CommandGuide/extract.html | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/docs/CommandGuide/extract.html b/docs/CommandGuide/extract.html index b840168a6e..72112e8b2d 100644 --- a/docs/CommandGuide/extract.html +++ b/docs/CommandGuide/extract.html @@ -61,6 +61,17 @@ omitted or if filename is -. The output is always written to standard output. Specify the output filename. If filename is "-" (the default), then <tt>extract</tt> sends its output to standard output. <p> + + <li> -stats + <br> + Print statistics. + <p> + + <li> -time-passes + <br> + Record the amount of time needed for each pass and print it to standard + error. + <p> </ul> <h3> |