configtool/src no emulator/src no helpview/src no tex2rtf/src yes HelpGen yes