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

Gabriele Giacone 1o5g4r8o at gmail.com
Sat Jun 16 02:36:58 UTC 2012


The following commit has been merged in the master branch:
commit cd6c31966d437481bc000bcae75237ae7216edc3
Author: Gabriele Giacone <1o5g4r8o at gmail.com>
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



More information about the pkg-java-commits mailing list