subdir('po')
-subdir('docs')
+gen_docs = not get_option('docs').disabled()
+if gen_docs
+ subdir('docs')
+endif
subdir('build-aux')
misc_summary = {
'Use -Werror': cc_flags.contains('-Werror'),
'Warning Flags': supported_cc_flags,
+ 'docs': gen_docs,
'DTrace': conf.has('WITH_DTRACE_PROBES'),
'firewalld': conf.has('WITH_FIREWALLD'),
'firewalld-zone': conf.has('WITH_FIREWALLD_ZONE'),
option('test_coverage', type: 'boolean', value: false, description: 'turn on code coverage instrumentation')
option('git_werror', type: 'feature', value: 'auto', description: 'use -Werror if building from GIT')
option('rpath', type: 'feature', value: 'auto', description: 'whether to include rpath information in installed binaries and libraries')
+option('docs', type: 'feature', value: 'auto', description: 'whether to generate documentation')
# build dependencies options