diff --git a/docs/CompilerDriver.html b/docs/CompilerDriver.html
index d84aacf14bb..9ccf383fae8 100644
--- a/docs/CompilerDriver.html
+++ b/docs/CompilerDriver.html
@@ -341,6 +341,11 @@ output.
special cases). Usage example: (parameter_list_option "foo", (multi_val
3)). Only list options can have this attribute; you can, however, use
the one_or_more and zero_or_one properties.
+init - this option has a default value, either a string (if it is a
+parameter), or a boolean (if it is a switch; boolean constants are called
+true and false). List options can't have this attribute. Usage
+examples: (switch_option "foo", (init true)); (prefix_option "bar",
+(init "baz")).
extern - this option is defined in some other plugin, see below.