config.xml is now used to generate configoptions.cpp and config.doc