From 3ae1622d94b220e0a2505215c96bb1ce6811b9d5 Mon Sep 17 00:00:00 2001 From: Witold Filipczyk Date: Sat, 23 Dec 2023 14:12:46 +0100 Subject: [PATCH] [meson] Added -Ddoc option, default true With -Ddoc=false rebuilds are faster. --- meson.build | 5 ++++- meson_options.txt | 1 + 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/meson.build b/meson.build index baf1d04f..be8c596c 100644 --- a/meson.build +++ b/meson.build @@ -1033,4 +1033,7 @@ if conf_data.get('CONFIG_NLS') endif subdir('src') subdir('contrib') -subdir('doc') + +if get_option('doc') + subdir('doc') +endif diff --git a/meson_options.txt b/meson_options.txt index 1f238cb7..7bf8191b 100644 --- a/meson_options.txt +++ b/meson_options.txt @@ -73,6 +73,7 @@ option('dgi', type: 'boolean', value: false, description: 'DOS Gateway Interface option('mujs', type: 'boolean', value: false, description: 'use mujs library') option('codepoint', type: 'boolean', value: true, description: 'whether check codepoints on Linux console') option('test', type: 'boolean', value: false, description: 'whether build test programs') +option('doc', type: 'boolean', value: true, description: 'whether build documentation') option('docdir', type: 'string', value: '', description: 'Documentation installation directory. Default $prefix/share/doc/elinks.') option('apidoc', type: 'boolean', value: true, description: 'whether to generate API docs with doxygen') option('htmldoc', type: 'boolean', value: true, description: 'whether to build html docs')