Include version number in javadoc index page of vaadin-all zip

Change-Id: I8b370918f99e6a04322fb95e20633c4e740cce55

diff --git a/all/build.xml b/all/build.xml
index d5a484a902f2e0b21e5de2bb7408ebfb7aa563f6..ef8ac71c4dd22be50cd5947264dd6030cadcf017 100644 (file)
--- a/all/build.xml
+++ b/all/build.xml
@@ -39,7 +39,7 @@
                <antcontrib:foreach list="${modules.to.publish.to.maven}" target="unzip.to.javadoctemp" param="module" />
 
                <property name="javadoc.dir" location="${result.dir}/javadoc" />
-               <property name="title" value="Vaadin" />
+               <property name="title" value="Vaadin ${vaadin.version} API" />
                <javadoc maxmemory="1024m" destdir="${javadoc.dir}" author="true" version="true" use="true" windowtitle="${title}" encoding="utf-8">
                        <packageset dir="${javadoc.temp.dir}">
                                <!-- TODO Javadoc throws ClassCastException if this is included (#9660)-->