[tracker: 3/3] build: Toggle developer docs off by default

[Carlos Garnacho <carlosg src gnome org>]

commit 57d808c9c679d00a937d7af65cc9be7699a4fffe
Author: Carlos Garnacho <carlosg gnome org>
Date:   Mon Feb 18 23:22:26 2019 +0100

    build: Toggle developer docs off by default
    
    They are irrelevant to most people and on most situations. Toggling docs
    off might save a few cycles globally.

 meson_options.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/meson_options.txt b/meson_options.txt
index 5173189d9..fa1ce51dc 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -1,4 +1,4 @@
-option('docs', type: 'boolean', value: true,
+option('docs', type: 'boolean', value: false,
        description: 'Generate API documentation with gtk-doc')
 option('fts', type: 'boolean', value: true,
        description: 'Enable the Tracker full-text search feature')