From bbf4571564d168fc2ad4c27cfb71e9a9b6023f07 Mon Sep 17 00:00:00 2001
From: Mikael Vappula <mikael@vaadin.com>
Date: Fri, 1 Feb 2013 17:27:15 +0200
Subject: [PATCH] Include version number in javadoc index page of vaadin-all
 zip

Change-Id: I8b370918f99e6a04322fb95e20633c4e740cce55
---
 all/build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)-->
-- 
2.39.5