[gedit/zbrown/deteplification-src: 8/633] build: add user-documentation option
- From: Zander Brown <zbrown src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit/zbrown/deteplification-src: 8/633] build: add user-documentation option
- Date: Sat, 10 Apr 2021 12:47:51 +0000 (UTC)
commit 311ad3e6a98330e6b3d2e23e11558d1f35492f6e
Author: Sébastien Wilmet <swilmet gnome org>
Date: Tue Nov 12 13:25:54 2019 +0100
build: add user-documentation option
That option was present with Autotools.
Building the user docs takes a long time when doing `ninja install`.
So when doing gedit development, the option can be set to false.
meson.build | 8 ++++++--
meson_options.txt | 5 +++++
2 files changed, 11 insertions(+), 2 deletions(-)
---
diff --git a/meson.build b/meson.build
index 557ec9abc..2d4e2d3bf 100644
--- a/meson.build
+++ b/meson.build
@@ -186,14 +186,18 @@ if build_plugins == true
endif
subdir('docs')
-subdir('help')
+
+if get_option('user-documentation')
+ subdir('help')
+endif
summary = [
'',
'------',
'gedit @0@ (@1@)'.format(version, api_version),
'',
- ' Documentation: @0@'.format(build_gtk_doc),
+ ' API docs: @0@'.format(build_gtk_doc),
+ ' User docs: @0@'.format(get_option('user-documentation')),
' Introspection: @0@'.format(generate_gir),
' Plugins: @0@'.format(build_plugins),
' Vala API: @0@'.format(generate_vapi),
diff --git a/meson_options.txt b/meson_options.txt
index 23471e6e0..71ea9cd25 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -14,6 +14,11 @@ option('documentation',
type: 'boolean', value: false,
description: 'Build API reference for plugins (requires gtk-doc)')
+# This option exists for the developers, to speed up the install.
+option('user-documentation',
+ type: 'boolean', value: true,
+ description: 'Build user documentation')
+
option('enable-gvfs-metadata',
type: 'combo', choices: ['yes', 'no', 'auto'], value: 'auto',
description: 'Enable using gvfs to store metadata')
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]