Add type attribute to indexterm elements

diff --git a/docbook/relaxng/docbook/src/index.rnc b/docbook/relaxng/docbook/src/index.rnc
index 9842adbdbcf447b9f5e4d311577be42b17d78112..a0ed35dd77bbb9bf1115c461af5d8e222157f457 100644 (file)
--- a/docbook/relaxng/docbook/src/index.rnc
+++ b/docbook/relaxng/docbook/src/index.rnc
@@ -32,6 +32,7 @@ db.zone.attribute         = attribute zone { xsd:IDREFS }
 db.pagenum.attribute      = attribute pagenum { text }
 db.scope.attribute        = attribute scope { "all" | "global" | "local" }
 db.sortas.attribute       = attribute sortas { text }
+db.type.attribute         = attribute type { text }
 
 # ======================================================================
 
@@ -85,6 +86,7 @@ div {
     & db.zone.attribute?
     & db.pagenum.attribute?
     & db.scope.attribute?
+    & db.type.attribute?
     & db.indexterm.singular.class.attribute?
 
    db.indexterm.singular =
@@ -113,6 +115,7 @@ div {
     & db.zone.attribute?
     & db.pagenum.attribute?
     & db.scope.attribute?
+    & db.type.attribute?
     & db.indexterm.startofrange.class.attribute
 
    db.indexterm.startofrange =
@@ -295,6 +298,9 @@ div {
 
    db.index.info = db._info
 
+   # Yes, db.indexdiv* and db.indexentry*; that way an <index/> is valid.
+   # Authors can use an empty index to indicate where a generated index should
+   # appear.
    db.index =
       element index {
          db.index.attlist,