diff --git a/docs/CompilerDriver.html b/docs/CompilerDriver.html
index ccd23ebc733..7d0399016d0 100644
--- a/docs/CompilerDriver.html
+++ b/docs/CompilerDriver.html
@@ -371,6 +371,8 @@ Example: (in_language (not_empty "o").
+empty - The opposite of not_empty. Equivalent to (not (not_empty
+X)). Provided for convenience.
default - Always evaluates to true. Should always be the last
test in the case expression.
and - A standard logical combinator that returns true iff all
@@ -462,7 +464,10 @@ like a linker.
- append_cmd - append a string to the tool invocation
command.
-Example: (case (switch_on "pthread"), (append_cmd "-lpthread"))
+Example: (case (switch_on "pthread"), (append_cmd
+"-lpthread"))
+error` - exit with error.
+Example: ``(error "Mixing -c and -S is not allowed!").
forward - forward an option unchanged.
Example: (forward "Wall").
forward_as - Change the name of an option, but forward the