diff --git a/docs/CommandGuide/analyze.html b/docs/CommandGuide/analyze.html
index cd66ce5..ff61808 100644
--- a/docs/CommandGuide/analyze.html
+++ b/docs/CommandGuide/analyze.html
@@ -53,11 +53,6 @@
 	list of available analysis passes.
 	<p>
 
-	<li> -dsa-track-integers
-	<br>
-	Track integers as potential pointers.
-	<p>
-
 	<li> -profile-info-file &lt;filename&gt;
 	<br>
 	Specify the name of the file loaded by the -profile-loader option.
diff --git a/docs/CommandGuide/bugpoint.html b/docs/CommandGuide/bugpoint.html
index c6ac7ab..62e5787 100644
--- a/docs/CommandGuide/bugpoint.html
+++ b/docs/CommandGuide/bugpoint.html
@@ -190,6 +190,16 @@
     when attempting to reduce test programs.  If you're trying to find
     a bug in one of these passes, <tt>bugpoint</tt> may crash.<p>
 
+	<li><tt>-enable-correct-eh-support</tt><br>
+    Make the -lowerinvoke pass insert expensive, but correct, exception
+    handling code.<p>
+
+	<li><tt>-internalize-public-api-file &lt;filename&gt;</tt><br>
+    Preserve the symbols listed in the file <tt>filename</tt>.<p>
+
+	<li><tt>-internalize-public-api-list &lt;list&gt;</tt><br>
+    Preserve the symbols listed in <tt>list</tt>.<p>
+
 	<li> <tt>-help</tt><br>
 	Print a summary of command line options.<p>
 
@@ -215,6 +225,9 @@
     <tt>bugpoint</tt> will attempt to generate a reference output by
     compiling the program with the C backend and running it.<p>
 
+	<li><tt>-profile-info-file &lt;filename&gt;</tt><br>
+    Profile file loaded by -profile-loader.<p>
+
 	<a name="opt_run-"><li><tt>-run-{int,jit,llc,cbe}</tt><br>
     Whenever the test program is compiled, <tt>bugpoint</tt> should generate
     code for it using the specified code generator.  These options allow
diff --git a/docs/CommandGuide/opt.html b/docs/CommandGuide/opt.html
index 4bf67a4..2e531a9 100644
--- a/docs/CommandGuide/opt.html
+++ b/docs/CommandGuide/opt.html
@@ -53,11 +53,6 @@
 	Specify the output filename.
 	<p>
 
-	<li> -dsa-track-integers
-	<br>
-	Track integers as potential pointers.
-	<p>
-
 	<li> -profile-info-file &lt;filename&gt;
 	<br>
 	Specify the name of the file loaded by the -profile-loader option.