diff --git a/docs/CompilerDriver.html b/docs/CompilerDriver.html
index e77cd03e059..5830a30833d 100644
--- a/docs/CompilerDriver.html
+++ b/docs/CompilerDriver.html
@@ -114,8 +114,10 @@ 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.
-
--temp-dir - Write temporary files to the specified directory. This option
-overrides --save-temps.
+--temp-dir DIRECTORY - Store temporary files in the given directory. This
+directory is deleted on exit unless --save-temps is specified. If
+--save-temps=obj is also specified, --temp-dir is given the
+precedence.
--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