From f87d6c8d6f66059e122c5b02028dfb39c88a6276 Mon Sep 17 00:00:00 2001
From: Lukas Ladenberger <lukas.ladenberger@googlemail.com>
Date: Wed, 25 Apr 2012 18:58:32 +0000
Subject: [PATCH] adapted build file to rodin 2.5

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@14615 1434b563-b632-4741-aa49-43a3a8374d2e
---
 org.rodinp.handbook.feature/customBuild.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/org.rodinp.handbook.feature/customBuild.xml b/org.rodinp.handbook.feature/customBuild.xml
index 3bab3ee..9ddec43 100644
--- a/org.rodinp.handbook.feature/customBuild.xml
+++ b/org.rodinp.handbook.feature/customBuild.xml
@@ -67,7 +67,7 @@
     	
     	<mkdir dir="${build-dir}/plugin/plugins"/>
     	
-    	<jar destfile="${build-dir}/plugin/plugins/org.rodinp.handbook_2.4.0.${qualifier}.jar" basedir="${basedir}/build/eclipse" manifest="${basedir}/skeleton/META-INF/MANIFEST.MF" />
+    	<jar destfile="${build-dir}/plugin/plugins/org.rodinp.handbook_2.5.0.${qualifier}.jar" basedir="${basedir}/build/eclipse" manifest="${basedir}/skeleton/META-INF/MANIFEST.MF" />
     	 
     	 <zip destfile="${build-dir}/plugin/org.rodinp.handbook.zip"
     	       basedir="${build-dir}/plugin"
-- 
GitLab