diff options
Diffstat (limited to 'editors/jedit/build.properties_4.3.2.patch')
| -rw-r--r-- | editors/jedit/build.properties_4.3.2.patch | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/editors/jedit/build.properties_4.3.2.patch b/editors/jedit/build.properties_4.3.2.patch new file mode 100644 index 0000000000..d92dfd9d9d --- /dev/null +++ b/editors/jedit/build.properties_4.3.2.patch @@ -0,0 +1,8 @@ +diff -urNp jEdit.orig/build.properties jEdit/build.properties +--- jEdit.orig/build.properties 1970-01-01 01:00:00.000000000 +0100 ++++ jEdit/build.properties 2006-08-08 21:07:34.000000000 +0200 +@@ -0,0 +1,4 @@ ++xsltproc.executable=xsltproc
++docbook.xsl=/usr/share/xml/docbook/xsl-stylesheets-1.76
++docbook.catalog=/usr/share/xml/docbook/xml-dtd-4.5/catalog.xml
++fop.dir=/usr/share/fop-0.20.5
|