diff --git a/docs/CommandGuide/opt.html b/docs/CommandGuide/opt.html
index 52b168393e8..b75620706cf 100644
--- a/docs/CommandGuide/opt.html
+++ b/docs/CommandGuide/opt.html
@@ -74,6 +74,14 @@ OPTIONS
 	error.
 	<p>
 
+	<li> -debug
+	<br>
+	If this is a debug build, this option will enable debug printouts from
+	passes which use the <tt>DEBUG</tt> macro.  See the <a
+	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.
@@ -83,6 +91,7 @@ OPTIONS
 	<br>
 	Perserve the symbol names specified.
 	<p>
+-->
 
 	<li> -q
 	<br>