[evince] flatpak: don't build user help as slow and not needed for development

[Germán Poo-Caamaño <gpoo src gnome org>]

commit e87a5b54e1a2add18b4df2e1d4aa2898364dada3
Author: vanadiae <vanadiae35 gmail com>
Date:   Tue Jun 9 22:25:03 2020 +0200

    flatpak: don't build user help as slow and not needed for development
    
    The development flatpak manifest currently builds user help.
    
    However, this flatpak is only for development (the other manifest is at
    flathub) and building user help adds signifiant time to each rebuild,
    which is painful when programming and testing.
    
    So this commits disables the user help for the development flatpak.

 build-aux/flatpak/org.gnome.Evince.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/build-aux/flatpak/org.gnome.Evince.json b/build-aux/flatpak/org.gnome.Evince.json
index a75ff615..f7ca724a 100644
--- a/build-aux/flatpak/org.gnome.Evince.json
+++ b/build-aux/flatpak/org.gnome.Evince.json
@@ -173,7 +173,8 @@
                 "-Dnautilus=false",
                 "-Dgtk_doc=false",
                 "-Dintrospection=false",
-                               "-Dthumbnailer=false"
+                               "-Dthumbnailer=false",
+                "-Duser_doc=false"
             ],
             "sources" : [
                 {