#36 Option parameters in doc gen

[Mikolas Janota]

When documentation is generated we don't seem to take into account the possible option parameters things like --color=COL where COL is one of the .... is just written explicitly, i.e. the enumeration values are written once in the type and once in the documentation without interlinking.

[Radu GRIGORE]

Which documentation?