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

Reply via email to