diff options
| author | Andres Freund | 2023-04-05 04:29:39 +0000 |
|---|---|---|
| committer | Andres Freund | 2023-04-05 04:29:39 +0000 |
| commit | ef07d351a1860a6e93c89cc7af3ae13366942bf0 (patch) | |
| tree | 790f3d304974f127c47f9a72e86914cb8adb2e5e /meson_options.txt | |
| parent | 0ba827ecfc677cb449b3a370cf6613b4a770c4f8 (diff) | |
meson: add docs, docs_pdf options
Detect and report if the tools necessary to build documentation are available
during configure. This is represented as two new options 'docs' and
'docs_pdf', both defaulting to 'auto'.
This should also fix a meson error about the installdocs target, when none of
the doc tools are found.
Reviewed-by: Justin Pryzby <pryzby@telsasoft.com>
Discussion: https://postgr.es/m/20230325201414.sh7c6xlut2fpunnv@awork3.anarazel.de
Discussion: https://postgr.es/m/ZB8331v5IhUA/pNu@telsasoft.com
Diffstat (limited to 'meson_options.txt')
| -rw-r--r-- | meson_options.txt | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/meson_options.txt b/meson_options.txt index 4402dd4299d..c203dcce6fe 100644 --- a/meson_options.txt +++ b/meson_options.txt @@ -79,6 +79,12 @@ option('bonjour', type : 'feature', value: 'auto', option('bsd_auth', type : 'feature', value: 'auto', description: 'build with BSD Authentication support') +option('docs', type : 'feature', value: 'auto', + description: 'documentation in HTML and man page format') + +option('docs_pdf', type : 'feature', value: 'auto', + description: 'documentation in PDF format') + option('dtrace', type : 'feature', value: 'disabled', description: 'DTrace support') @@ -159,6 +165,9 @@ option('DTRACE', type : 'string', value: 'dtrace', option('FLEX', type : 'array', value: ['flex', 'win_flex'], description: 'path to flex binary') +option('FOP', type : 'string', value: 'fop', + description: 'path to fop binary') + option('GZIP', type : 'string', value: 'gzip', description: 'path to gzip binary') |