Summary: Add simple utility for turning rfc1234 doc alias names into RFC1234

- Legacy-Id: 8899
This commit is contained in:
Ole Laursen 2015-01-23 16:45:26 +00:00
parent 5bc15c427e
commit 543ac4ecb7

View file

@ -517,3 +517,9 @@ def get_initial_notify(doc,extra=None):
receivers.extend(extra)
return ", ".join(set([x.strip() for x in receivers]))
def uppercase_std_abbreviated_name(name):
if re.match('(rfc|bcp|std|fyi) ?[0-9]+$', name):
return name.upper()
else:
return name