On 2018-06-15 14:23, Alexandre Petrescu wrote:
...
That website...
....containing the IAB-approved RFC that defines the xml2rfc v2 format.
2.33.3. "docName" Attribute
For Internet-Drafts, this specifies the draft name (which appears
below the title).
A processor should give an error if both the "docName" and "number"
attributes are given in the <rfc> element.
Note that the file extension is not part of the draft
How comes a file extension is not part of the draft?
Maybe it is not part of the draft _name_?
Nobody expects a file extension to be part of the draft (contents of
that draft.)
...
Congratulations, you found an editorial problem in the spec.
Best regards, Julian