[SCM] jedit - Java plugin-based editor for programmers branch, master, updated. debian/4.5.2+dfsg-1-12-gff5837d

[Gabriele Giacone]

The following commit has been merged in the master branch:
commit 5bfcd32de1133d8874fd59083e60279d0f26ba97
Author: Gabriele Giacone <1o5g4r8o at gmail.com>
Date:   Sun Mar 24 21:18:06 2013 +0100

    Refresh patches.

diff --git a/debian/patches/03systemlibs b/debian/patches/03systemlibs
index 916ff8d..1c1bd4d 100644
--- a/debian/patches/03systemlibs
+++ b/debian/patches/03systemlibs
@@ -56,7 +56,7 @@ Author: Gabriele Giacone <1o5g4r8o at gmail.com>
  					 includes="*.jar"/>
  				<pathelement location="${classes.dir}/core"/>
  			</classpath>
-@@ -478,11 +479,11 @@
+@@ -487,11 +488,11 @@
  				<include name="startup/**"/>
  			</fileset>
  		</copy>
diff --git a/debian/patches/05systemdocbook b/debian/patches/05systemdocbook
index 8714101..b1b511f 100644
--- a/debian/patches/05systemdocbook
+++ b/debian/patches/05systemdocbook
@@ -3,7 +3,7 @@ Author: Gabriele Giacone <1o5g4r8o at gmail.com>
 
 --- a/build.xml
 +++ b/build.xml
-@@ -617,7 +617,7 @@
+@@ -626,7 +626,7 @@
  
  	<presetdef name="dependset.html">
  		<dependset.build>
@@ -12,7 +12,7 @@ Author: Gabriele Giacone <1o5g4r8o at gmail.com>
  			<srcfilelist files="doc/jedithtml.xsl"/>
  		</dependset.build>
  	</presetdef>
-@@ -625,14 +625,14 @@
+@@ -634,14 +634,14 @@
  	<presetdef name="xslt.doc">
  		<xslt>
  			<classpath>
@@ -30,7 +30,7 @@ Author: Gabriele Giacone <1o5g4r8o at gmail.com>
  			</xmlcatalog>
  			<sysproperty key="javax.xml.parsers.DocumentBuilderFactory"
  				     value="org.apache.xerces.jaxp.DocumentBuilderFactoryImpl"/>
-@@ -644,7 +644,7 @@
+@@ -653,7 +653,7 @@
  	</presetdef>
  
  	<target name="generate-doc-faq"
@@ -39,7 +39,7 @@ Author: Gabriele Giacone <1o5g4r8o at gmail.com>
  		<dependset.html>
  			<srcfileset dir="doc/FAQ"/>
  			<targetfileset dir="${jar.location}/doc/FAQ"/>
-@@ -668,7 +668,7 @@
+@@ -677,7 +677,7 @@
  	</target>
  
  	<target name="generate-doc-news"
@@ -48,7 +48,7 @@ Author: Gabriele Giacone <1o5g4r8o at gmail.com>
  		<dependset.html>
  			<srcfileset dir="doc/whatsnew"/>
  			<targetfileset dir="${jar.location}/doc/whatsnew"/>
-@@ -692,7 +692,7 @@
+@@ -701,7 +701,7 @@
  	</target>
  
  	<target name="generate-doc-users-guide"
@@ -57,7 +57,7 @@ Author: Gabriele Giacone <1o5g4r8o at gmail.com>
  		<dependset.html>
  			<srcfileset dir="doc/users-guide"/>
  			<targetfileset dir="${jar.location}/doc/users-guide"/>
-@@ -822,7 +822,7 @@
+@@ -836,7 +836,7 @@
  	</target>
  
  	<target name="generate-pdf-users-guide"

-- 
jedit - Java plugin-based editor for programmers