[gnome-continuous] Do not build man pages for Seahorse
- From: Emmanuele Bassi <ebassi src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-continuous] Do not build man pages for Seahorse
- Date: Sun, 17 Mar 2019 23:43:22 +0000 (UTC)
commit 8a3dc097647f3a54084d3f6306aec9731e434ae8
Author: Emmanuele Bassi <ebassi gnome org>
Date: Sun Mar 17 23:42:36 2019 +0000
Do not build man pages for Seahorse
Explicitly set the `manpages` option to false, in case the default
changes again.
manifest.json | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/manifest.json b/manifest.json
index 2540cae..3d69faf 100644
--- a/manifest.json
+++ b/manifest.json
@@ -1353,7 +1353,8 @@
"-Dpgp-support=false",
"-Dcheck-compatible-gpg=false",
"-Dldap-support=false",
- "-Dkey-sharing=false"
+ "-Dkey-sharing=false",
+ "-Dmanpage=false"
]},
{"src": "gnome:totem.git",
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]