[jabref] 01/01: Remove generated directory src/main/gen/ in clean target.

[gregor herrmann]

This is an automated email from the git hooks/post-receive script.

gregoa pushed a commit to branch dev
in repository jabref.

commit 327e2775934a526d71613926819bedc9be753397
Author: gregor herrmann <gregoa at debian.org>
Date:   Fri Nov 18 15:23:22 2016 +0100

    Remove generated directory src/main/gen/ in clean target.
    
    Update required debhelper version accordingly.
---
 debian/clean   | 1 +
 debian/control | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/debian/clean b/debian/clean
index 14290d5..becf7e8 100644
--- a/debian/clean
+++ b/debian/clean
@@ -1,2 +1,3 @@
 build.number
 src/resource/build.properties
+src/main/gen/
diff --git a/debian/control b/debian/control
index 8acfecb..3c124a6 100644
--- a/debian/control
+++ b/debian/control
@@ -4,7 +4,7 @@ Uploaders: tony mancill <tmancill at debian.org>,
            gregor herrmann <gregoa at debian.org>
 Section: tex
 Priority: optional
-Build-Depends: debhelper (>= 9), gradle-debian-helper
+Build-Depends: debhelper (>= 9.20151116), gradle-debian-helper
 Build-Depends-Indep: ant,
                      antlr,
                      antlr3,

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jabref.git