diff --git a/docs/GettingStarted.html b/docs/GettingStarted.html
index 70b56c94088..a6ea989e92a 100644
--- a/docs/GettingStarted.html
+++ b/docs/GettingStarted.html
@@ -247,11 +247,6 @@
     <p><li><i>--enable-optimized</i>       =
         Enables optimized compilation (debugging symbols are removed and GCC
         optimization flags are enabled).
-    <p><li><i>--enable-profiling</i>       =
-        Enables profiling compilation (compiler flags needed to add profiling
-        data are enabled).
-    <p><li><i>--enable-verbose</i>       =
-        Enables verbose messages during the compile.
     <p><li><i>--enable-jit</i>       =
         Compile the Just In Time (JIT) functionality.  This is not available
         on all platforms.