Removed highlights

diff --git a/docbook/relaxng/src/pool.rnc b/docbook/relaxng/src/pool.rnc
index 0a534982d64e6b8948a9df5d3e6823449cbc8d53..7f3db010a94bc1ad82d2ad999abe316b4362cc8e 100644 (file)
--- 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" ]