From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 5 Sep 2020 17:06:23 +0000 (+0100)
Subject: debian/rules: Rebuild everything from scratch.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/mdwtools/commitdiff_plain/63efaebf096011d8390d35324893adfdabd9f308

debian/rules: Rebuild everything from scratch.
---

diff --git a/debian/rules b/debian/rules
index 0cff7b4..5755d58 100644
--- a/debian/rules
+++ b/debian/rules
@@ -1,3 +1,7 @@
 #! /usr/bin/make -f
 
 %:; dh $@ --with tex
+
+override_dh_clean:
+	dh_clean
+	rm -f *.dvi *.ps *.pdf *.sty *.fd *.thm