[flint] 02/02: Delete flint-manual.pdf with d/rules clean.

[Tobias Hansen]

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

thansen pushed a commit to branch master
in repository flint.

commit fc89ecfe7fbde329950c44f0eda1b279a7471141
Author: Tobias Hansen <tobias.han at gmx.de>
Date:   Tue Aug 12 22:47:34 2014 +0200

    Delete flint-manual.pdf with d/rules clean.
---
 debian/rules | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/debian/rules b/debian/rules
index fc793ca..d7facc9 100755
--- a/debian/rules
+++ b/debian/rules
@@ -20,6 +20,10 @@ override_dh_auto_build:
 	    EXTRA_SHARED_FLAGS="$(EXTRA_SHARED_FLAGS)"
 	(cd doc/latex && make)
 
+override_dh_auto_clean:
+	rm -f doc/latex/flint-manual.pdf
+	dh_auto_clean
+
 override_dh_auto_test:
 	dh_auto_test --parallel -- $(MAKE_OVERRIDE)
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/flint.git