The following commit has been merged in the master branch:
commit cd6c31966d437481bc000bcae75237ae7216edc3
Author: Gabriele Giacone <[email protected]>
Date: Fri Jun 15 14:06:21 2012 +0000
Add d/jedit.debhelper.log removal.
diff --git a/debian/rules b/debian/rules
index f1f9b15..598b933 100755
--- a/debian/rules
+++ b/debian/rules
@@ -55,7 +55,7 @@ override_dh_auto_clean:
-dh_quilt_unpatch
-mv debian/patches/series debian/patches/series.noauto
ant clean-all
- rm -f debian/jedit.menu debian/jedit.desktop
+ rm -f debian/jedit.menu debian/jedit.desktop debian/jedit.debhelper.log
# bsh: clean
rm -rf org/gjt/sp/jedit/bsh bsh
--
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