[gnome-builder] manifest: Set devhelp's profile to stable

[Christian Hergert <chergert src gnome org>]

commit 3d36049f7dcb226ebdbd2fcde7454f96d672426d
Author: vanadiae <vanadiae35 gmail com>
Date:   Mon Jul 5 19:55:38 2021 +0200

    manifest: Set devhelp's profile to stable
    
    Two months ago devhelp gained support for separate devel and stable installations,
    so the installed app icon depends on it. Since we're using devhelp's symbolic icon
    as IdePage icon, it wasn't able to get the icon because the default profile was
    devel, so the installed icon was org.gnome.Devhelp.Devel-symbolic.svg, instead
    of the non-devel variant.
    
    So this commit switches to stable variant to fix the icon.

 build-aux/flatpak/org.gnome.Builder.json | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/build-aux/flatpak/org.gnome.Builder.json b/build-aux/flatpak/org.gnome.Builder.json
index 7f0fbb7ad..ebbf88998 100644
--- a/build-aux/flatpak/org.gnome.Builder.json
+++ b/build-aux/flatpak/org.gnome.Builder.json
@@ -311,6 +311,7 @@
             "config-opts" : [
                 "--libdir=/app/lib",
                 "--buildtype=debugoptimized",
+                "-Dprofile=stable",
                 "-Dflatpak_build=true"
             ],
             "cleanup" : [