1 option('bash_completion', type: 'boolean', value: true, description: 'install bash completion files')
2 option('man', type: 'boolean', value: true, description: 'generate man pages')
3 option('gtk_doc', type: 'boolean', value: false, description: 'use gtk-doc to build documentation')