diff options
| author | Martin Hořeňovský | 2023-12-11 00:52:22 +0100 |
|---|---|---|
| committer | Martin Hořeňovský | 2023-12-11 00:52:22 +0100 |
| commit | 1648c30ec3ac1aedd1417d31de18801767ab0d72 (patch) | |
| tree | 360845f1f6b441560162d0ac542defef70fdb33c /tools/scripts/releaseCommon.py | |
| parent | d4e9fb8aa578d8b10d91a1c86c5b32c16ced8956 (diff) | |
| download | catch3-1648c30ec3ac1aedd1417d31de18801767ab0d72.tar.gz | |
Look just for 'Catch2 X.Y.Z' in doc placeholder update
Diffstat (limited to 'tools/scripts/releaseCommon.py')
| -rw-r--r-- | tools/scripts/releaseCommon.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/scripts/releaseCommon.py b/tools/scripts/releaseCommon.py index 0d995eaf..1ff4af29 100644 --- a/tools/scripts/releaseCommon.py +++ b/tools/scripts/releaseCommon.py @@ -114,8 +114,8 @@ def updateVersionDefine(version): def updateVersionPlaceholder(filename, version): with open(filename, 'rb') as file: lines = file.readlines() - placeholderRegex = re.compile(b'in Catch[0-9]? X.Y.Z') - replacement = 'in Catch2 {}.{}.{}'.format(version.majorVersion, version.minorVersion, version.patchNumber).encode('ascii') + placeholderRegex = re.compile(b'Catch[0-9]? X.Y.Z') + replacement = 'Catch2 {}.{}.{}'.format(version.majorVersion, version.minorVersion, version.patchNumber).encode('ascii') with open(filename, 'wb') as file: for line in lines: file.write(placeholderRegex.sub(replacement, line)) |