diff --git a/docs/CommandGuide/opt.html b/docs/CommandGuide/opt.html
index 2e531a9202b..75b93602e4c 100644
--- a/docs/CommandGuide/opt.html
+++ b/docs/CommandGuide/opt.html
@@ -76,22 +76,6 @@ writes its output to the standard output.
 	href="../ProgrammersManual.html#DEBUG">Programmer's Manual</a> for more
 	information.
 	<p>
-<!--
-	<li> -internalize-public-api-file &lt;filename&gt;
-	<br>
-	Preserve the symbol names listed in the file filename.
-	<p>
-
-	<li> -internalize-public-api-list=&lt;list&gt;
-	<br>
-	Perserve the symbol names specified.
-	<p>
--->
-
-	<li> -q
-	<br>
-	Quiet mode.  Do not print messages on whether the program was modified.
-	<p>
 
 	<li> -load &lt;plugin&gt;
 	<br>