diff --git a/docs/CompilerDriver.html b/docs/CompilerDriver.html index 4d7cb371dcb..e77cd03e059 100644 --- a/docs/CompilerDriver.html +++ b/docs/CompilerDriver.html @@ -114,6 +114,8 @@ 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. +