diff options
author | Carlos Garnacho <carlosg@gnome.org> | 2019-02-18 23:22:26 +0100 |
---|---|---|
committer | Carlos Garnacho <carlosg@gnome.org> | 2019-02-18 23:26:56 +0100 |
commit | 57d808c9c679d00a937d7af65cc9be7699a4fffe (patch) | |
tree | 5e024f984566492ba0c22a8c9e01924cb3b75353 | |
parent | d6f408ff608e36d8f7ae5242422f6cd7a3de433f (diff) | |
download | tracker-57d808c9c679d00a937d7af65cc9be7699a4fffe.tar.gz |
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.
-rw-r--r-- | meson_options.txt | 2 |
1 files changed, 1 insertions, 1 deletions
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') |