chiark / gitweb /
~mdw / mdwtools / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3dedbc9)
debian/rules: Rebuild everything from scratch.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 5 Sep 2020 17:06:23 +0000 (18:06 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 7 Sep 2020 16:36:44 +0000 (17:36 +0100)
debian/rules patch | blob | blame | history

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
Various LaTeX packages