From 3156f504b9c378fdafa4c4e71687051297845362 Mon Sep 17 00:00:00 2001 From: Norman Walsh Date: Wed, 24 May 2006 19:44:37 +0000 Subject: [PATCH] Remove 'default' as an option for xml:space on 'modifier' because of brokenness in the XML Schema build if its allowed. Not specifying it is the same as 'default' so that seems acceptable, at least for beta 6 --- docbook/relaxng/docbook/src/pool.rnc | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/docbook/relaxng/docbook/src/pool.rnc b/docbook/relaxng/docbook/src/pool.rnc index 020b409c6..c17a23c42 100644 --- 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? -- 2.40.0