Added subscript and superscript to gui*

diff --git a/docbook/relaxng/src/pool.rnc b/docbook/relaxng/src/pool.rnc
index 8339818cf3f267396451a53a33d73f9558ea90f7..31d085999e195a1d4f141ce87f4584882d1e38dc 100644 (file)
--- a/docbook/relaxng/src/pool.rnc
+++ b/docbook/relaxng/src/pool.rnc
@@ -5476,7 +5476,7 @@ div {
    db.guibutton =
       element guibutton {
          guibutton.attlist,
-         (docbook.text | db.accel)*
+         (docbook.text | db.accel | db.superscript | db.subscript)*
       }
 }
 
@@ -5501,7 +5501,7 @@ div {
    db.guiicon =
       element guiicon {
          guiicon.attlist,
-         (docbook.text | db.accel)*
+         (docbook.text | db.accel | db.superscript | db.subscript)*
       }
 }
 
@@ -5526,7 +5526,7 @@ div {
    db.guilabel =
       element guilabel {
          guilabel.attlist,
-         (docbook.text | db.accel)*
+         (docbook.text | db.accel | db.superscript | db.subscript)*
       }
 }
 
@@ -5551,7 +5551,7 @@ div {
    db.guimenu =
       element guimenu {
          guimenu.attlist,
-         (docbook.text | db.accel)*
+         (docbook.text | db.accel | db.superscript | db.subscript)*
       }
 }
 
@@ -5576,7 +5576,7 @@ div {
    db.guimenuitem =
       element guimenuitem {
          guimenuitem.attlist,
-         (docbook.text | db.accel)*
+         (docbook.text | db.accel | db.superscript | db.subscript)*
       }
 }
 
@@ -5601,7 +5601,7 @@ div {
    db.guisubmenu =
       element guisubmenu {
          guisubmenu.attlist,
-         (docbook.text | db.accel)*
+         (docbook.text | db.accel | db.superscript | db.subscript)*
       }
 }