From: Mikael Vappula <mikael@vaadin.com>
Date: Fri, 1 Feb 2013 15:27:15 +0000 (+0200)
Subject: Include version number in javadoc index page of vaadin-all zip
X-Git-Tag: 7.0.1~23^2~3^2
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=bbf4571564d168fc2ad4c27cfb71e9a9b6023f07;p=vaadin-framework.git

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 d5a484a902..ef8ac71c4d 100644
--- 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)-->