Make @width text instead of integer

diff --git a/docbook/relaxng/docbook/src/pool.rnc b/docbook/relaxng/docbook/src/pool.rnc
index d1aa8a5b73d050d6bc97ab306e505ec4684447fa..facc47d83e9cfc8aa98382ab681d016c8508f565 100644 (file)
--- a/docbook/relaxng/docbook/src/pool.rnc
+++ b/docbook/relaxng/docbook/src/pool.rnc
@@ -461,7 +461,7 @@ db.width.attribute =
    [
       db:refpurpose [ "Specifies the width of the element" ]
    ]
-   attribute width { xsd:integer }
+   attribute width { text }
 
 db.depth.attribute =
    [