[gnome-builder] build: track changes to vala-language-server build options

[Christian Hergert <chergert src gnome org>]

commit 9502e1290c292da87e5b622164a3d3bd55625c27
Author: Christian Hergert <chergert redhat com>
Date:   Tue Jul 12 13:23:37 2022 -0700

    build: track changes to vala-language-server build options

 build-aux/flatpak/org.gnome.Builder.Devel.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/build-aux/flatpak/org.gnome.Builder.Devel.json b/build-aux/flatpak/org.gnome.Builder.Devel.json
index 6e80a6c53..eeb43f685 100644
--- a/build-aux/flatpak/org.gnome.Builder.Devel.json
+++ b/build-aux/flatpak/org.gnome.Builder.Devel.json
@@ -576,7 +576,7 @@
             "config-opts" : [
                 "--libdir=/app/lib",
                 "--buildtype=debugoptimized",
-                "-Dman-pages=disabled",
+                "-Dman_pages=disabled",
                 "-Dtests=false",
                 "-Dplugins=false"
             ],