diff --git a/docs/CompilerDriver.html b/docs/CompilerDriver.html
index f498e295349..d0bb72396c4 100644
--- a/docs/CompilerDriver.html
+++ b/docs/CompilerDriver.html
@@ -109,6 +109,11 @@ until the next -x option.
-load PLUGIN_NAME - Load the specified plugin DLL. Example:
-load $LLVM_DIR/Release/lib/LLVMCSimple.so.
-v - Enable verbose mode, i.e. print out all executed commands.
+--save-temps - Write temporary files to the current directory and do not
+delete them on exit. This option can also take an argument: the
+--save-temps=obj switch will write files into the directory specified with
+the -o option. The --save-temps=cwd and --save-temps switches are
+both synonyms for the default behaviour.
--check-graph - Check the compilation for common errors like mismatched
output/input language names, multiple default edges and cycles. Because of
plugins, these checks can't be performed at compile-time. Exit with code zero
@@ -122,8 +127,6 @@ directory with the compilation graph description in Graphviz format (identical
to the file used by the --view-graph option). The -o option can be
used to set the output file name. Hidden option, useful for debugging LLVMC
plugins.
---save-temps - Write temporary files to the current directory
-and do not delete them on exit. Hidden option, useful for debugging.
--help, --help-hidden, --version - These options have
their standard meaning.