mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-13 20:29:24 +00:00
9e46b555d9
Fixes #4003. This addresses the majority of locations where we use the name "Keyman Desktop" in code. There will be some filenames and paths that do not change at this point -- particularly at a source level. For now, the focus is on the user interface changes. While making these changes, I also made the VERSION and MANIFEST resources more consistent.
8 lines
295 B
Batchfile
8 lines
295 B
Batchfile
@echo off
|
|
rem
|
|
rem This batch script should be called in the teamcity build script to set the current
|
|
rem release build version number for Keyman from the teamcity environment
|
|
rem
|
|
|
|
set tmpbuildnumber=%BUILD_NUMBER:.=,%
|
|
echo PRODUCTVERSION %tmpbuildnumber% > %KEYMAN_ROOT%\windows\src\version.txt
|