[gnome-builder] build: disable api docs by default
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] build: disable api docs by default
- Date: Sun, 12 Nov 2017 09:22:08 +0000 (UTC)
commit 4f77f0e616cc66245c0159ead7342fb5c7763bc4
Author: Christian Hergert <chergert redhat com>
Date: Sun Nov 12 01:20:23 2017 -0800
build: disable api docs by default
meson_options.txt | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/meson_options.txt b/meson_options.txt
index 6687c22..34cba80 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -12,7 +12,7 @@ option('with_editorconfig', type: 'boolean')
option('with_webkit', type: 'boolean')
option('with_vapi', type: 'boolean')
option('with_help', type: 'boolean')
-option('with_docs', type: 'boolean')
+option('with_docs', type: 'boolean', value: false)
# Plugins
# Ideally we want many of these to be defined in the plugin dir:
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]