#61 option --dumprc

[Frans Slothouber]

It would be very useful if ROBODoc had an option --dumprc that would create a full robodoc.rc file that contains all the default settings and the settings that are specified on the command line.

This would make it much easier for users to create their
own customized robodoc.rc file.