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 /docs/meson.build | |
| 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 'docs/meson.build')
| -rw-r--r-- | docs/meson.build | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/docs/meson.build b/docs/meson.build index 76e59797e..e43b12a8b 100644 --- a/docs/meson.build +++ b/docs/meson.build @@ -1,3 +1,7 @@ -subdir('tools') -subdir('manpages') -subdir('reference') +if get_option('man') + subdir('manpages') +endif +if get_option('docs') + subdir('tools') + subdir('reference') +endif |