diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/build/build.xml b/build/build.xml index 681a9f890b..4bc07d4654 100644 --- a/build/build.xml +++ b/build/build.xml @@ -372,8 +372,14 @@ <token key="version" value="${version.full}" /> </replacetokens> <replacetokens begintoken="@" endtoken="@"> + <token key="version-minor" value="${version.major}.${version.minor}" /> + </replacetokens> + <replacetokens begintoken="@" endtoken="@"> <token key="builddate" value="${build.date}" /> </replacetokens> + <replacetokens begintoken="@" endtoken="@"> + <token key="gwt-version" value="${gwt-version}" /> + </replacetokens> </filterchain> <fileset dir="WebContent"> <exclude name="**/.svn" /> |