added plugin_version property to exportplugin script
diff --git a/bundles/org.eclipse.compare/plugins/org.eclipse.compare/scripts/exportplugin.xml b/bundles/org.eclipse.compare/plugins/org.eclipse.compare/scripts/exportplugin.xml
index 8c194aa..7e8dffd 100644
--- a/bundles/org.eclipse.compare/plugins/org.eclipse.compare/scripts/exportplugin.xml
+++ b/bundles/org.eclipse.compare/plugins/org.eclipse.compare/scripts/exportplugin.xml
@@ -3,9 +3,10 @@
<tstamp/>
<property name="destdir" value="../../plugin-export" />
<property name="tempdir" value="../../tmp" />
- <property name="plugin" value="org.eclipse.compare" />
- <property name="dest" value="${destdir}/${plugin}_3.1.0" />
- <property name="destjar" value="${destdir}/${plugin}_3.1.0.jar" />
+ <property name="plugin" value="org.eclipse.compare" />
+ <property name="plugin_version" value="_3.1.0" />
+ <property name="dest" value="${destdir}/${plugin}${plugin_version}" />
+ <property name="destjar" value="${destdir}/${plugin}${plugin_version}.jar" />
</target>
<target name="build" depends="init">
diff --git a/bundles/org.eclipse.compare/scripts/exportplugin.xml b/bundles/org.eclipse.compare/scripts/exportplugin.xml
index 8c194aa..7e8dffd 100644
--- a/bundles/org.eclipse.compare/scripts/exportplugin.xml
+++ b/bundles/org.eclipse.compare/scripts/exportplugin.xml
@@ -3,9 +3,10 @@
<tstamp/>
<property name="destdir" value="../../plugin-export" />
<property name="tempdir" value="../../tmp" />
- <property name="plugin" value="org.eclipse.compare" />
- <property name="dest" value="${destdir}/${plugin}_3.1.0" />
- <property name="destjar" value="${destdir}/${plugin}_3.1.0.jar" />
+ <property name="plugin" value="org.eclipse.compare" />
+ <property name="plugin_version" value="_3.1.0" />
+ <property name="dest" value="${destdir}/${plugin}${plugin_version}" />
+ <property name="destjar" value="${destdir}/${plugin}${plugin_version}.jar" />
</target>
<target name="build" depends="init">