[gnome-continuous] Disable documentation when building nettle

[Emmanuele Bassi <ebassi src gnome org>]

commit 7a5368fe677a89cc0714df230e040e3e0d908f72
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Mon Feb 8 14:25:17 2016 +0000

    Disable documentation when building nettle
    
    Otherwise we'll neet TeX.

 manifest.json |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 06fe266..2033c7a 100644
--- a/manifest.json
+++ b/manifest.json
@@ -628,7 +628,8 @@
 
                 {"name": "nettle",
                  "src": "tarball:https://ftp.gnu.org/gnu/nettle/nettle-3.2.tar.gz";,
-                 "checksum": "ea4283def236413edab5a4cf9cf32adf540c8df1b9b67641cfc2302fca849d97"},
+                 "checksum": "ea4283def236413edab5a4cf9cf32adf540c8df1b9b67641cfc2302fca849d97",
+                 "config-ops": ["--disable-documentation"]},
 
                 {"src": "git:https://gitlab.com/gnutls/gnutls.git";,
                  "component": "minimal",