From 1f0a35903d4c0fddaafac97d4663cd1638e3b4ef Mon Sep 17 00:00:00 2001 From: Norman Walsh Date: Tue, 25 May 2004 11:29:26 +0000 Subject: [PATCH] Added subscript and superscript to gui* --- docbook/relaxng/src/pool.rnc | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/docbook/relaxng/src/pool.rnc b/docbook/relaxng/src/pool.rnc index 8339818cf..31d085999 100644 --- 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)* } } -- 2.40.0