[gnome-continuous] Update configuration options for gnome-documents

[Emmanuele Bassi <ebassi src gnome org>]

commit 2ba9d93483adc9f4a16c10a1f656fbdbac6c27f8
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Thu Dec 7 16:53:36 2017 +0000

    Update configuration options for gnome-documents
    
    They were renamed upstream.

 manifest.json |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 6c3c537..c43c221 100644
--- a/manifest.json
+++ b/manifest.json
@@ -1279,8 +1279,8 @@
                 {"src": "gnome:libgepub"},
 
                {"src": "gnome:gnome-documents",
-                "config-opts": ["-Denable-documentation=false",
-                                 "-Denable-getting-started=false"]},
+                "config-opts": ["-Ddocumentation=false",
+                                 "-Dgetting_started=false"]},
 
                {"src": "gnome:evolution",
                 "irc_room": "evolution",