summaryrefslogtreecommitdiff
path: root/debian/rules
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-03-20 23:48:17 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-03-20 23:48:17 +0100
commit71a7413c7165fccca1c039953965245eb2f03f6f (patch)
tree8381a2e9db66e96b2a3b00c6f3ba8c524302ee54 /debian/rules
parentcaa76659f88c20ffc5cd38663358dceaba5296a3 (diff)
sync with upstream packaging
Diffstat (limited to 'debian/rules')
-rwxr-xr-xdebian/rules1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules
index 9acaa1c..677d4e5 100755
--- a/debian/rules
+++ b/debian/rules
@@ -147,6 +147,7 @@ clean:
# Clean up autogenerated cruft
rm -rf autom4te.cache build-aux
rm -f aclocal.m4 config.h.in configure INSTALL Makefile.in
+ rm -f doc/mach.info* doc/stamp-vti doc/version.texi
find -name '*~' -o -name '*.rej' -o -name '*.orig' | xargs rm -f
rm -f debian/gnumach-image-*.preinst