From d94c796c7d56b7a6eb40b0befe2bee2cc240c5b3 Mon Sep 17 00:00:00 2001
From: Norman Walsh <ndw@nwalsh.com>
Date: Wed, 26 Oct 2005 11:43:02 +0000
Subject: [PATCH] Add type attribute to indexterm elements

---
 docbook/relaxng/docbook/src/index.rnc | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docbook/relaxng/docbook/src/index.rnc b/docbook/relaxng/docbook/src/index.rnc
index 9842adbdb..a0ed35dd7 100644
--- 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,
-- 
2.40.0