[SCM] jedit - Java plugin-based editor for programmers branch, master, updated. debian/4.5.2+dfsg-1-12-gff5837d
Gabriele Giacone
1o5g4r8o at gmail.com
Sun Mar 24 20:45:36 UTC 2013
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
More information about the pkg-java-commits
mailing list