On 29-Oct-25 19:36, Mark Nottingham wrote:
I notice that the rfc-index.xml files uses identifiers of this form:<rfc-entry> <doc-id>RFC0004</doc-id> <!-- ... --> <doi>10.17487/RFC0004</doi> </rfc-entry> Will these change when the 10,000th RFC is published? If so, how will that be managed?
I don't see why they would change. It would be a nuisance, and it would be a bug to change the DOIs. Code I've written has inserted/removed leading zeros for RFCs <1000, but should work seamlessly when RFC10000 appears. Brian
Cheers, -- Mark Nottingham https://www.mnot.net/ _______________________________________________ rfc-interest mailing list -- [email protected] To unsubscribe send an email to [email protected]
_______________________________________________ rfc-interest mailing list -- [email protected] To unsubscribe send an email to [email protected]
