RFE 1055480: Make revnumber optional

diff --git a/docbook/xml/dbpoolx.mod b/docbook/xml/dbpoolx.mod
index 2dbf28afd494b4ce905784c65cca183572e72709..77345d294e6a37dc17863d84d3b0fc8e80834fc6 100644 (file)
--- a/docbook/xml/dbpoolx.mod
+++ b/docbook/xml/dbpoolx.mod
@@ -6121,7 +6121,7 @@ OtherCredit. -->
 
 <!ENTITY % revision.element "INCLUDE">
 <![%revision.element;[
-<!ELEMENT revision %ho; (revnumber, date, (author|authorinitials)*,
+<!ELEMENT revision %ho; (revnumber?, date, (author|authorinitials)*,
                     (revremark|revdescription)?)>
 <!--end of revision.element-->]]>