Fix wiki links and char_lit_as_u8

This commit is contained in:
mcarton 2016-05-27 15:55:08 +02:00
parent 9110b6eb60
commit 71b41b6e01

View File

@ -59,7 +59,7 @@ def parse_file(d, f):
last_comment = []
if not comment:
l = line.strip()
m = re.search(r"pub\s+([A-Z_]+)", l)
m = re.search(r"pub\s+([A-Z_][A-Z_0-9]*)", l)
if m:
name = m.group(1).lower()