Performed some updates on the new options to these command line tools.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@12350 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/docs/CommandGuide/extract.html b/docs/CommandGuide/extract.html
index b840168..72112e8 100644
--- a/docs/CommandGuide/extract.html
+++ b/docs/CommandGuide/extract.html
@@ -61,6 +61,17 @@
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>