[gnome-builder] flatpak: Disable shared library for html-tidy

[Christian Hergert <chergert src gnome org>]

commit 47b472ad575480328ad6a473d344126d638fae3e
Author: vanadiae <vanadiae35 gmail com>
Date:   Fri Jul 23 21:37:39 2021 +0200

    flatpak: Disable shared library for html-tidy
    
    It should hopefully spare a few hundreds of KB. We don't need the
    shared library anyway, as we only use html-tidy through the CLI.

 build-aux/flatpak/org.gnome.Builder.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/build-aux/flatpak/org.gnome.Builder.json b/build-aux/flatpak/org.gnome.Builder.json
index db4a131ba..bf88ce4bc 100644
--- a/build-aux/flatpak/org.gnome.Builder.json
+++ b/build-aux/flatpak/org.gnome.Builder.json
@@ -606,7 +606,8 @@
             "name": "html-tidy",
             "buildsystem": "cmake-ninja",
             "config-opts": [
-                "-DCMAKE_BUILD_TYPE=Release"
+                "-DCMAKE_BUILD_TYPE=Release",
+                "-DBUILD_SHARED_LIB=OFF"
             ],
             "sources" : [
                 {