isodoc.rng in metanorma-ietf-3.2.1

- old
+ new

@@ -15,11 +15,11 @@
   DO NOT introduce a namespace here. We do not want a distinct namespace
   for these elements, and a distinct namespace for any grammar inheriting
   these elements; we just want one namespace for any child grammars
   of this.
 -->
-<!-- VERSION v1.2.3 -->
+<!-- VERSION v1.2.4 -->
 <grammar xmlns:a="http://relaxng.org/ns/compatibility/annotations/1.0" xmlns="http://relaxng.org/ns/structure/1.0" datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes">
   <include href="reqt.rng"/>
   <include href="basicdoc.rng">
     <define name="admonition">
       <element name="admonition">
@@ -2066,9 +2066,12 @@
       </oneOrMore>
     </element>
   </define>
   <define name="termdefinition">
     <element name="definition">
+      <optional>
+        <attribute name="type"/>
+      </optional>
       <choice>
         <ref name="verbaldefinition"/>
         <ref name="nonverbalrep"/>
         <group>
           <ref name="verbaldefinition"/>