From bea45ebfe075d34607735e22a0949435d2ec81b4 Mon Sep 17 00:00:00 2001 From: Norman Walsh Date: Tue, 8 Feb 2005 12:33:16 +0000 Subject: [PATCH] Removed highlights --- docbook/relaxng/src/pool.rnc | 23 ----------------------- 1 file changed, 23 deletions(-) diff --git a/docbook/relaxng/src/pool.rnc b/docbook/relaxng/src/pool.rnc index 0a534982d..7f3db010a 100644 --- a/docbook/relaxng/src/pool.rnc +++ b/docbook/relaxng/src/pool.rnc @@ -608,7 +608,6 @@ db.nopara.blocks = | db.bridgehead | db.remark | db.revhistory - | db.highlights db.para.blocks = db.anchor @@ -1355,28 +1354,6 @@ div { # ====================================================================== -[ - db:refname [ "highlights" ] - db:refpurpose [ "A summary of the main points of the discussed component" ] -] -div { - - db.highlights.role.attribute = attribute role { text } - - db.highlights.attlist = - db.highlights.role.attribute? - & db.common.attributes - & db.common.linking.attributes - - db.highlights = - element highlights { - db.highlights.attlist, - (db.list.blocks | db.admonition.blocks | db.para.blocks | db.indexing.inlines)+ - } -} - -# ====================================================================== - [ db:refname [ "formalpara" ] db:refpurpose [ "A paragraph with a title" ] -- 2.40.0