diff --git a/pmd-jedit/config/pmd.props b/pmd-jedit/config/pmd.props index 1d26866d64..2d45daafd2 100644 --- a/pmd-jedit/config/pmd.props +++ b/pmd-jedit/config/pmd.props @@ -3,7 +3,7 @@ # plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.name=PMD plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.author=Tom Copeland -plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.version=0.4 +plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.version=0.5 plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.docs=jedit.html plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.depend.0=jdk 1.3 plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.depend.1=jedit 04.00.99.00 diff --git a/pmd-jedit/etc/build.xml b/pmd-jedit/etc/build.xml index 41dc842f03..810193f1c8 100644 --- a/pmd-jedit/etc/build.xml +++ b/pmd-jedit/etc/build.xml @@ -5,7 +5,7 @@ - + diff --git a/pmd-jedit/etc/doing_the_next_pmd_jedit_release.txt b/pmd-jedit/etc/doing_the_next_pmd_jedit_release.txt index 565106d8c3..37ab56f401 100644 --- a/pmd-jedit/etc/doing_the_next_pmd_jedit_release.txt +++ b/pmd-jedit/etc/doing_the_next_pmd_jedit_release.txt @@ -1,7 +1,8 @@ update the release date in the changelog change config/pmd.props to reflect actual pmd.jar file version -change config/pmd.props to reflect pmd-jedit version -change build.xml to reflect pmd-jedit version +change config/pmd.props to reflect plugin version +change jedit.html to reflect the plugin version +change build.xml to reflect the plugin version Create the binary release: ant release