From b0b37bcb06723ede07cc9c5c4573f12c3acb1643 Mon Sep 17 00:00:00 2001
From: Christian Persch <chpe@gnome.org>
Date: Sun, 9 Jan 2011 15:03:31 +0100
Subject: [PATCH] Update gschema.dtd

Bug #639064.
---
 gio/gschema.dtd | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/gio/gschema.dtd b/gio/gschema.dtd
index 218b544..96ff014 100644
--- a/gio/gschema.dtd
+++ b/gio/gschema.dtd
@@ -1,10 +1,12 @@
 <!ELEMENT schemalist (schema|enum)* >
 <!ATTLIST schemalist gettext-domain #IMPLIED >
 
-<!ELEMENT schema (key|child)* >
+<!ELEMENT schema (key|child|override)* >
 <!ATTLIST schema id             CDATA #REQUIRED
                  path           CDATA #IMPLIED
-                 gettext-domain CDATA #IMPLIED >
+                 gettext-domain CDATA #IMPLIED
+                 extends        CDATA #IMPLIED
+                 list-of        CDATA #IMPLIED >
 
 <!-- enumerated and flags types -->
 <!-- each value element maps a nick to a numeric value -->
@@ -64,3 +66,8 @@
 <!ELEMENT child EMPTY >
 <!ATTLIST child name   CDATA #REQUIRED
                 schema CDATA #REQUIRED >
+
+<!ELEMENT override (#PCDATA) >
+<!ATTLIST override name    CDATA #REQUIRED
+                   l10n    CDATA #IMPLIED
+                   context CDATA #IMPLIED >
-- 
2.7.4