diff --git a/docs/CommandLine.html b/docs/CommandLine.html index fc66091a2b3..bc357b13fed 100644 --- a/docs/CommandLine.html +++ b/docs/CommandLine.html @@ -36,6 +36,7 @@
-These options naturally fall into four main catagories:
+These options fall into five main catagories:
It is not possible to specify two options from the same catagory (you'll get a -runtime error) to a single option. The CommandLine library specifies defaults -for all of these settings that are the most useful in practice and the most -common, which mean that you usually shouldn't have to worry about these.
+runtime error) to a single option, except for options in the miscellaneous +catagory. The CommandLine library specifies defaults for all of these settings +that are the most useful in practice and the most common, which mean that you +usually shouldn't have to worry about these.
@@ -1153,6 +1156,29 @@ basically looks like this:
}
+ + +
+ +
+
+ +
Top-Level Classes and Functions @@ -1469,7 +1495,7 @@ line options |