[gnome-text-editor] build: disable documentation in libeditorconfig

[Christian Hergert <chergert src gnome org>]

commit 41cc74c4e4329479871c1fc2d79491b849e40633
Author: Christian Hergert <chergert redhat com>
Date:   Wed Aug 10 12:46:27 2022 -0700

    build: disable documentation in libeditorconfig

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