if not get_option('install-gplugin-query') 'You have disabled installation of gplugin-query which is a very ' + 'useful diagnostics tool.', gplugin_query = executable('gplugin-query', dependencies : [gplugin_dep, GLIB, GOBJECT], install : get_option('install-gplugin-query')) if get_option('help2man') custom_target('gplugin-query.1', '--name=Query installed plugins', '--section=1', '--help-option=--help-all', '--no-info', output : 'gplugin-query.1', install : get_option('install-gplugin-query'), install_dir : get_option('mandir') / 'man1')