debian/rules: Build everything from scratch.

diff --git a/debian/rules b/debian/rules
index 5af9b70e1b61a00620b499690b88732038016bbe..c2baf91f7ddcc8036d9ce48e56f51afdc1279ede 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -2,6 +2,10 @@
 
 %:; dh $@ --with tex
 
+override_dh_clean:
+       dh_clean
+       rm -f *.dvi *.ps *.pdf *.etx *.sty *.fd *.map *.pl *.vpl *.tfm *.vf
+
 override_dh_auto_install:
        make install DESTDIR=debian/tmp
        dh_install -a