diff --git a/docs/CommandLine.html b/docs/CommandLine.html index f12525b263e..308f1c66bbc 100644 --- a/docs/CommandLine.html +++ b/docs/CommandLine.html @@ -15,6 +15,7 @@
  • Selecting one alternative from a set
  • Named alternatives
  • Parsing a list of options +
  • Parsing a list of non-options
  • Reference Guide
  • Extension Guide @@ -64,7 +65,7 @@ This section of the manual runs through a simple CommandLine'ification of a util To start out, you need to include the CommandLine header file into your program:

    -  #include "Support/CommandLine.h"
    +  #include "CommandLine.h"
     

    Additionally, you need to add this as the first line of your main program:

    @@ -324,6 +325,31 @@ This defines a variable that is conceptually of the type "vector<enum Opt ... to iterate through the list of options specified. + + + + +
       +Parsing a list of non-options +

    Reference Guide @@ -339,8 +365,8 @@ Reference Guide: TODO