From e947b762c41c8e08142d0afcdc5206d40683aa00 Mon Sep 17 00:00:00 2001 From: Norman Walsh Date: Tue, 22 May 2007 11:20:56 +0000 Subject: [PATCH] Added db.common.extension.attributes pattern for easier extensibility of common attributes --- docbook/relaxng/docbook/src/pool.rnc | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docbook/relaxng/docbook/src/pool.rnc b/docbook/relaxng/docbook/src/pool.rnc index be39e876a..b19d76670 100644 --- a/docbook/relaxng/docbook/src/pool.rnc +++ b/docbook/relaxng/docbook/src/pool.rnc @@ -335,6 +335,8 @@ db.dir.attribute = ] attribute dir { db.dir.enumeration } +db.common.extension.attributes = empty + db.common.attributes = db.xml.id.attribute? & db.version.attribute? @@ -345,6 +347,7 @@ db.common.attributes = & db.revisionflag.attribute? & db.dir.attribute? & db.effectivity.attributes + & db.common.extension.attributes db.common.idreq.attributes = db.xml.id.attribute @@ -356,6 +359,7 @@ db.common.idreq.attributes = & db.revisionflag.attribute? & db.dir.attribute? & db.effectivity.attributes + & db.common.extension.attributes db.common.linking.attributes = (db.linkend.attribute | db.href.attributes)? -- 2.40.0