diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 1 |
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 |