diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-20 23:48:17 +0100 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-20 23:48:17 +0100 |
commit | 71a7413c7165fccca1c039953965245eb2f03f6f (patch) | |
tree | 8381a2e9db66e96b2a3b00c6f3ba8c524302ee54 /debian/rules | |
parent | caa76659f88c20ffc5cd38663358dceaba5296a3 (diff) |
sync with upstream packaging
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 |