RFE #1055480 allow revnumber to be optional in revision

diff --git a/docbook/relaxng/src/pool.rnc b/docbook/relaxng/src/pool.rnc
index 486ca6fd06fd88b85d544d55f49522096fc03bd6..e651d9c507b0c15e03ada5e11f8bc91b2140f3d9 100644 (file)
--- a/docbook/relaxng/src/pool.rnc
+++ b/docbook/relaxng/src/pool.rnc
@@ -4415,7 +4415,7 @@ div {
    db.revision =
       element revision {
          db.revision.attlist,
-         db.revnumber,
+         db.revnumber?,
          db.date,
          (db.authorinitials | db.author)*,
          (db.revremark | db.revdescription)?