Remove 'default' as an option for xml:space on 'modifier' because of brokenness in...

diff --git a/docbook/relaxng/docbook/src/pool.rnc b/docbook/relaxng/docbook/src/pool.rnc
index 020b409c632cd519df42298f8156699323c04f35..c17a23c424be4069759e925ada6a61b0f750fa0b 100644 (file)
--- a/docbook/relaxng/docbook/src/pool.rnc
+++ b/docbook/relaxng/docbook/src/pool.rnc
@@ -3344,8 +3344,15 @@ db.modifier.xml.space.attribute =
    attribute xml:space {
       ## Extra whitespace and line breaks must be preserved.
       "preserve"
-    | ## Extra whitespace and line breaks are not preserved.
-      "default"
+# Ideally the definition of xml:space used on modifier would be
+# different from the definition used on the verbatim elements. The
+# verbatim elements forbid the use of xml:space="default" which
+# wouldn't be a problem on modifier. But doing that causes the
+# generated XSD schemas to be broken so I'm just reusing the existing
+# definition for now. It won't be backwards incompatible to fix this
+# problem in the future.
+#    | ## Extra whitespace and line breaks are not preserved.
+#      "default"
    }
 
 [
@@ -3356,6 +3363,7 @@ div {
 
    db.modifier.role.attribute = attribute role { text }
 
+
    db.modifier.attlist =
       db.modifier.xml.space.attribute?
     & db.modifier.role.attribute?