From 5f3f830fc6dff2b9d4f949da14b72e9bfc5f32b9 Mon Sep 17 00:00:00 2001
From: Arnaud Bonatti <arnaud.bonatti@gmail.com>
Date: Tue, 5 Dec 2017 15:34:56 +0100
Subject: [PATCH] =?UTF-8?q?gio:=20Remove=20stray=20=E2=80=98<=E2=80=99=20f?=
 =?UTF-8?q?rom=20gschema.dtd?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

The mathematical operator was making the DTD unusable.
Also, min and max can be equal with current parser.

https://bugzilla.gnome.org/show_bug.cgi?id=791267
---
 gio/gschema.dtd | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gio/gschema.dtd b/gio/gschema.dtd
index efe2d11fa..8cd552d4a 100644
--- a/gio/gschema.dtd
+++ b/gio/gschema.dtd
@@ -47,7 +47,8 @@
 
 <!-- range is only allowed for keys with numeric type -->
 <!ELEMENT range EMPTY >
-<!-- min and max must be parseable as values of the key type and min < max -->
+<!-- min and max must be parseable as values of the key type and
+     min must be less than or equal to max -->
 <!ATTLIST range min CDATA #REQUIRED
                 max CDATA #REQUIRED >