diff options
author | Mart Raudsepp <leio@gentoo.org> | 2019-02-13 12:28:53 +0200 |
---|---|---|
committer | Mart Raudsepp <leio@gentoo.org> | 2019-02-18 18:52:57 +0200 |
commit | 016ee4711ecddc4448910d909dbe03619cf9ff74 (patch) | |
tree | 9c1d374b3e06daa8316f019e6314d95b9a1afd42 /meson_options.txt | |
parent | a955347207e2c7e3524ffbf3203913f1a38175bb (diff) | |
download | tracker-016ee4711ecddc4448910d909dbe03619cf9ff74.tar.gz |
build: Separate manpages install option from gtk-doc generation
The main use case for the docs option seems to be to not spend time on
gtk-doc generation. It is rather unexpected this also disables the
installation of manpages, which are just installed as-is with no work
involved.
Diffstat (limited to 'meson_options.txt')
-rw-r--r-- | meson_options.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/meson_options.txt b/meson_options.txt index b36ba1d1e..030940dd4 100644 --- a/meson_options.txt +++ b/meson_options.txt @@ -1,11 +1,13 @@ option('docs', type: 'boolean', value: true, - description: 'Enable the documentation') + description: 'Generate API documentation with gtk-doc') option('fts', type: 'boolean', value: true, description: 'Enable the Tracker full-text search feature') option('functional_tests', type: 'boolean', value: true, description: 'Enable the Tracker functional test suite') option('journal', type: 'boolean', value: true, description: 'Enable database journal backup mechanism') +option('man', type: 'boolean', value: true, + description: 'Install man pages') option('network_manager', type: 'combo', choices: ['auto', 'no', 'yes'], value: 'auto', description: 'Enable connection detection through NetworkManager') |