[tracker-miners/sam/man1: 2/2] build: Remove unused 'docs' option

[Sam Thursfield <sthursfield src gnome org>]

commit 218cb3a13d52c78843aa353f39feb2817f7f552c
Author: Sam Thursfield <sam afuera me uk>
Date:   Tue Jun 16 23:51:54 2020 +0200

    build: Remove unused 'docs' option
    
    This was inadvertantly disabling manpages too. We no longer have
    any gtk-doc targets in tracker-miners so there's no need for a
    'docs' option.

 meson.build       | 5 +----
 meson_options.txt | 2 --
 2 files changed, 1 insertion(+), 6 deletions(-)
---
diff --git a/meson.build b/meson.build
index 89e1e24bb..ea0998c70 100644
--- a/meson.build
+++ b/meson.build
@@ -413,10 +413,7 @@ glib_mkenums = find_program('glib-mkenums')
 
 subdir('src')
 subdir('data')
-
-if get_option('docs')
-  subdir('docs')
-endif
+subdir('docs')
 
 test_c_args = tracker_c_args + [
   '-DTOP_BUILDDIR="@0@/"'.format(meson.build_root()),
diff --git a/meson_options.txt b/meson_options.txt
index 19959dc95..2b83f482d 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -1,8 +1,6 @@
 option('tracker_core', type: 'combo', choices: ['system', 'subproject'], value: 'system',
        description: 'Use the system-installed version of Tracker core libraries, or build our own version as 
a Meson subproject.')
 
-option('docs', type: 'boolean', value: true,
-       description: 'Enable the documentation')
 option('extract', type: 'boolean', value: true,
        description: 'Enable the Tracker metadata extractor')
 option('functional_tests', type: 'boolean', value: true,