diff --git a/tools/extract-formats.py b/tools/extract-formats.py index 8b716b4..274d51d 100755 --- a/tools/extract-formats.py +++ b/tools/extract-formats.py @@ -24,17 +24,17 @@ import fileinput # We allow either ordered or unordered lists. typeline = re.compile( - '(1\.|\*) type: (?P[-0-9A-Za-z_|]+) \(`(?P[A-Za-z0-9_]+)`\)( \(`?(?P