From c904e4a14151f295410cf8a6118915b4a2bfa789 Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Sat, 5 Sep 2020 23:09:06 +0100 Subject: [PATCH] debian/rules: Build everything from scratch. --- debian/rules | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/debian/rules b/debian/rules index 5af9b70..c2baf91 100755 --- 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 -- 2.11.0