Today while washing the dishes I thought maybe the best way to try to move on this is that when cmdliner is invoked with --cmdliner it should simply dump on stdout all the static information it knows about command lines in some form of structured data format like json or sexp.
For documentation purpose, I would love to be able to export everything about the options in a JSON file. Do you still have this plan in mind?
dbuenzli
commented
5 months ago 
anne-pacalet
commented
5 months ago
In another ticket, you said:
For documentation purpose, I would love to be able to export everything about the options in a JSON file. Do you still have this plan in mind?