diff options
| author | Martin Hořeňovský | 2019-08-03 10:44:57 +0200 |
|---|---|---|
| committer | Martin Hořeňovský | 2019-08-03 10:44:57 +0200 |
| commit | 7a4beed6a666abc4eef3de9538cb5ae46333bc5f (patch) | |
| tree | fe721cfba258a48e1bf27c68a85eb58e00bcf839 /scripts | |
| parent | 67b4ada6b0fbe98368df934e1378aeae1ba7f235 (diff) | |
| download | catch3-7a4beed6a666abc4eef3de9538cb5ae46333bc5f.tar.gz | |
Make release script update version placeholders in docs
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/releaseCommon.py | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/scripts/releaseCommon.py b/scripts/releaseCommon.py index 9cdc4f6c..87c6e261 100644 --- a/scripts/releaseCommon.py +++ b/scripts/releaseCommon.py @@ -4,6 +4,8 @@ import os import sys import re import string +import glob +import fnmatch from scriptCommon import catchPath @@ -123,6 +125,25 @@ def updateVersionDefine(version): file.write(line) +def updateVersionPlaceholder(filename, version): + with open(filename, 'rb') as file: + lines = file.readlines() + placeholderRegex = re.compile(b'\) in Catch X.Y.Z') + replacement = '\) in Catch {}.{}.{}'.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)) + + +def updateDocumentationVersionPlaceholders(version): + print('Updating version placeholder in documentation') + docsPath = os.path.join(catchPath, 'docs/') + for basePath, _, files in os.walk(docsPath): + for file in files: + if fnmatch.fnmatch(file, "*.md") and "contributing.md" != file: + updateVersionPlaceholder(os.path.join(basePath, file), version) + + def performUpdates(version): # First update version file, so we can regenerate single header and # have it ready for upload to wandbox, when updating readme @@ -143,3 +164,4 @@ def performUpdates(version): updateReadmeFile(version) updateCmakeFile(version) + updateDocumentationVersionPlaceholders(version) |