option('doc_builders', type : 'array', choices : ['html', 'man'], value : ['html', 'man'])
