diff --git a/org.rodinp.handbook.feature/customBuild.xml b/org.rodinp.handbook.feature/customBuild.xml index 3bab3eeaf8558db89a53e83e04195a2345e18b4b..9ddec4397b6c3e60e5dbbe66e9f3b3bb679b5fde 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"