diff --git a/pmd-jedit/config/jedit.html b/pmd-jedit/config/jedit.html
index e31239452c..27aaa37334 100644
--- a/pmd-jedit/config/jedit.html
+++ b/pmd-jedit/config/jedit.html
@@ -11,7 +11,7 @@ You can read much more about PMD here - http://pmd.sf.net/.
Installation
- Uninstall any old PMD-JEdit plugins
-
- Unzip the PMD-JEdit-bin-1.1.zip file into your JEdit directory; it'll put a couple of jar files into your jars directory.
+
- Unzip the PMD-JEdit-bin-1.2.zip file into your JEdit directory; it'll put a couple of jar files into your jars directory.
- Restart JEdit and you'll be ready to go.
Integration
diff --git a/pmd-jedit/config/pmd.props b/pmd-jedit/config/pmd.props
index d71b4f832e..be4ebb7321 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=1.1
+plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.version=1.2
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 6c86c8ba7b..c7a0a210a6 100644
--- a/pmd-jedit/etc/build.xml
+++ b/pmd-jedit/etc/build.xml
@@ -5,7 +5,7 @@
-
+
diff --git a/pmd-jedit/etc/changelog.txt b/pmd-jedit/etc/changelog.txt
index 0628176388..1d9a7dff09 100644
--- a/pmd-jedit/etc/changelog.txt
+++ b/pmd-jedit/etc/changelog.txt
@@ -1,5 +1,8 @@
+November 20 2002 - 1.2:
+Added some more fixes from Jiger.
+
November 14 2002 - 1.1:
-Added "directory popup option" feature; thanks to Jigel Pater for the suggestion.
+Added "directory popup option" feature; thanks to Jiger Patel for the suggestions.
November 7 2002 - 1.0:
Updated to use pmd-1.01.
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 933f62ce42..19ff7b6357 100644
--- a/pmd-jedit/etc/doing_the_next_pmd_jedit_release.txt
+++ b/pmd-jedit/etc/doing_the_next_pmd_jedit_release.txt
@@ -1,8 +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 release 1.1
-change config/jedit.html to reflect pmd-jedit release 1.1
-change the build.xml to reflect pmd-jedit release 1.1
+change config/pmd.props to reflect pmd-jedit release 1.2
+change config/jedit.html to reflect pmd-jedit release 1.2
+change the build.xml to reflect pmd-jedit release 1.2
Create the binary release:
ant release
@@ -13,13 +13,13 @@ TESTS:
3) Are options persistant?
Create the src release:
-cvs -q rtag -D tomorrow "pmd_jedit_release_1_1" pmd-jedit
+cvs -q rtag -D tomorrow "pmd_jedit_release_1_2" pmd-jedit
rmdir /q /s c:\tmp\pmd-jedit
mkdir c:\tmp\pmd-jedit
-cvs -q export -d c:\tmp\pmd-jedit -r pmd_jedit_release_1_1 pmd-jedit
-copy pmd-jedit\lib\PMDJEditPlugin-1.1.jar c:\tmp\pmd-jedit\lib
+cvs -q export -d c:\tmp\pmd-jedit -r pmd_jedit_release_1_2 pmd-jedit
+copy pmd-jedit\lib\PMDJEditPlugin-1.2.jar c:\tmp\pmd-jedit\lib
cd c:\tmp
-"c:\program files\winzip\wzzip.exe" -r -p pmd-jedit-src-1.1.zip pmd-jedit
+"c:\program files\winzip\wzzip.exe" -r -p pmd-jedit-src-1.2.zip pmd-jedit
rmdir /q /s pmd-jedit
FTP the zip file to SF
@@ -27,13 +27,13 @@ ftp upload.sourceforge.net
generic userid/password: anonymous/tom@infoether.com
cd incoming
bin
-put pmd-jedit-src-1.1.zip
-put pmd-jedit-bin-1.1.zip
+put pmd-jedit-src-1.2.zip
+put pmd-jedit-bin-1.2.zip
Go to Admin, Edit/Release Files, click on Add new release
Paste stuff into the changelog/readme boxes
-Add the pmd-jedit-src-1.1.zip file
-Add the pmd-jedit-bin-1.1.zip file
+Add the pmd-jedit-src-1.2.zip file
+Add the pmd-jedit-bin-1.2.zip file
Classify the file
Submit some news saying "hey, new release of the JEdit plugin!"