summaryrefslogtreecommitdiff
path: root/debian/rules
diff options
context:
space:
mode:
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 9529a93..b19ce8c 100755
--- a/debian/rules
+++ b/debian/rules
@@ -148,6 +148,7 @@ clean:
rm -rf autom4te.cache build-aux
rm -f aclocal.m4 config.h.in configure INSTALL Makefile.in
find -name '*~' -o -name '*.rej' -o -name '*.orig' | xargs rm -f
+ rm -f doc/mach.info* doc/stamp-vti doc/version.texi
rm -f debian/gnumach-image-*.preinst
rm -f debian/gnumach-image-*.prerm