summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/tests/fix-changefile-lines.py
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/tests/fix-changefile-lines.py')
-rwxr-xr-xBuild/source/texk/web2c/tests/fix-changefile-lines.py2
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()