[gnome-builder] build: disable libeditorconfig documentation

[Christian Hergert <chergert src gnome org>]

commit b3b256e4b527a302799693ac0f46383328e59c0e
Author: Christian Hergert <chergert redhat com>
Date:   Wed Aug 10 12:47:07 2022 -0700

    build: disable libeditorconfig documentation

 org.gnome.Builder.Devel.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/org.gnome.Builder.Devel.json b/org.gnome.Builder.Devel.json
index 13967c9be..c830ac036 100644
--- a/org.gnome.Builder.Devel.json
+++ b/org.gnome.Builder.Devel.json
@@ -277,7 +277,7 @@
         {
             "name" : "libeditorconfig",
             "buildsystem" : "cmake",
-            "config-opts" : [ "-DINSTALL_HTML_DOC=OFF" ],
+            "config-opts" : [ "-DBUILD_DOCUMENTATION=OFF", "-DINSTALL_HTML_DOC=OFF" ],
             "sources" : [
                 {
                     "type" : "git",