diff options
Diffstat (limited to 'Build/source/texk/web2c/tests/fix-changefile-lines.py')
-rwxr-xr-x | Build/source/texk/web2c/tests/fix-changefile-lines.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/tests/fix-changefile-lines.py b/Build/source/texk/web2c/tests/fix-changefile-lines.py index 19b8c32233d..92b52c5c441 100755 --- a/Build/source/texk/web2c/tests/fix-changefile-lines.py +++ b/Build/source/texk/web2c/tests/fix-changefile-lines.py @@ -158,7 +158,7 @@ class ChangeReader: text = self._lines[self._chunk_start][2:].strip() # Remove potentially leading [part.section] tag. - pattern = "\\[.*\\]" + pattern = "\\[\\d+(\\.\\d+)?\\]" if re.match(pattern, text): text = re.sub(pattern, "", text).strip() |