diff --git a/tools/extract-formats.py b/tools/extract-formats.py index 64e1406a2..b505683d5 100755 --- a/tools/extract-formats.py +++ b/tools/extract-formats.py @@ -30,7 +30,7 @@ subtypeline = re.compile( '(1\.|\*) subtype: `(?P[A-Za-z0-9_]+)`( \(`?(?P