The following commit has been merged in the master branch:
commit e49e15943bb2b88ed370701b07bf5b294d066a1e
Author: Gabriele Giacone <[email protected]>
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
_______________________________________________
pkg-java-commits mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-commits
