diff --git a/tools/extract-formats.py b/tools/extract-formats.py index 6ca2f2aba..b505683d5 100755 --- a/tools/extract-formats.py +++ b/tools/extract-formats.py @@ -22,14 +22,19 @@ import re 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