[devhelp] flatpak: remove --disable-man-pages

[Sébastien Wilmet <swilmet src gnome org>]

commit 5e5701d80f7cc9c89e1d51e361722b55f62ad711
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Wed Mar 29 12:06:10 2017 +0200

    flatpak: remove --disable-man-pages
    
    This configure option doesn't exist for Devhelp.

 flatpak/org.gnome.Devhelp.json |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/flatpak/org.gnome.Devhelp.json b/flatpak/org.gnome.Devhelp.json
index 6b9fa3b..fc04b99 100644
--- a/flatpak/org.gnome.Devhelp.json
+++ b/flatpak/org.gnome.Devhelp.json
@@ -30,7 +30,7 @@
     "modules": [
         {
             "name": "devhelp",
-            "config-opts": ["--disable-man-pages", "--disable-Werror"],
+            "config-opts": ["--disable-Werror"],
             "sources": [
                 {
                     "type": "git",