[SCM] jedit - Java plugin-based editor for programmers branch, master, updated. debian/4.4.2+dfsg-1-23-g998e08e

[Gabriele Giacone]

The following commit has been merged in the master branch:
commit e49e15943bb2b88ed370701b07bf5b294d066a1e
Author: Gabriele Giacone <1o5g4r8o at gmail.com>
Date:   Fri Jun 15 16:29:41 2012 +0000

    Use last catalog minor version.

diff --git a/debian/build.properties b/debian/build.properties
index 39c38ad..a24436d 100644
--- a/debian/build.properties
+++ b/debian/build.properties
@@ -5,7 +5,7 @@
 ### For generating the docs
 config.docbook.xsl=/usr/share/xml/docbook/stylesheet/nwalsh
 config.xsltproc.executable=/usr/bin/xsltproc
-config.docbook.catalog=/usr/share/xml/docbook/schema/dtd/4.4/catalog.xml
+config.docbook.catalog=/usr/share/xml/docbook/schema/dtd/4/catalog.xml
 
 config.build.debug=true
 config.build.debuglevel=lines,vars,source

-- 
jedit - Java plugin-based editor for programmers