Include build date in Release Notes. Fixes #2963.

svn changeset:7996/svn branch:6.0

diff --git a/WebContent/release-notes.html b/WebContent/release-notes.html
index 8373ecdb9d9c4c0a7addeb23063e035d7844457c..d4b1888186ec2826ea7a08787722c32dd5154c1b 100644 (file)
--- a/WebContent/release-notes.html
+++ b/WebContent/release-notes.html
@@ -19,6 +19,8 @@
 
 <div id="content">
 
+<p>Version @version@ built on @builddate@.</p>
+
 <h2>Release Notes for Vaadin @version@</h2>
 
 <p>Vaadin @version@ is the first release of Vaadin, the next generation of the framework

diff --git a/build/build.xml b/build/build.xml
index 4f6eafab6eb6ac635343f32cc3f0af251015ee73..c10c55a75fdf7c4b8b106cdedb3212b2fa08c569 100644 (file)
--- a/build/build.xml
+++ b/build/build.xml
@@ -189,6 +189,10 @@
                <property file="build/GWT-VERSION.properties" />
                <property file="build/html-style.properties" />
 
+        <tstamp>
+            <format property="build.date" pattern="yyyy-MM-dd"/>
+        </tstamp>
+
         <echo>Toolkit package is: ${toolkit-package}</echo>
 
                <!-- Create result dir unless already exists -->
@@ -452,6 +456,9 @@
                                        <token key="platform" value="${package-platform}" />
                                        <token key="/platform" value="" />
                                </replacetokens>
+                               <replacetokens begintoken="@" endtoken="@">
+                                       <token key="builddate" value="${build.date}" />
+                               </replacetokens>
                        </filterchain>
                        <fileset dir="WebContent">
                                <exclude name="**/.svn" />