debian/rules: Rebuild everything from scratch.

[mdwtools] / debian / rules

diff --git a/debian/rules b/debian/rules
index 0cff7b4d7d3f0ae9d7951c073fa03e7ea73e8e12..5755d5886e6d44ded7e3d4692462bb2aba876fa9 100644 (file)
--- 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