From d91ee794ba481f2fbac3329e01a18cf7ced5b1a3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rn=20Zaefferer?= <joern.zaefferer@gmail.com>
Date: Tue, 7 Nov 2006 10:30:47 +0000
Subject: [PATCH] Added tooltip for plugins build

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 3966492d..5baad646 100644
--- a/build.xml
+++ b/build.xml
@@ -25,7 +25,7 @@
 	<property description="Dir to look for plugins" name="PLUGIN_DIR" location="../plugins" />
 	<property description="Add single plugins here" name="PLUGINS" value="none" />
 	<property description="Add all plugins here" name="PLUGINS_ALL" 
-		value="button/*.js,center/*.js,cookie/*.js,form/*.js,greybox/*.js,interface/*.js,pager/*.js,tablesorter/*.js,tabs/*.js" />
+		value="button/*.js,center/*.js,cookie/*.js,form/*.js,greybox/*.js,interface/*.js,pager/*.js,tablesorter/*.js,tabs/*.js,tooltip/*.js" />
 
 	<property description="Target parent folder for built files" name="PREFIX" value="." />
 	<property description="Folder for docs target" name="DOCS_DIR" value="${PREFIX}/docs" />