rust-doc: Remove unnecessary *.inc files

These are only used during HTML generation - the *.inc files are
unnecessary in the resulting package.

diff --git a/debian/rules b/debian/rules
index cde7e6c40f1859379e45905e96858b29fbc37190..a77d0b0e78d081469c06bcaac8c4298261ef8964 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -108,7 +108,7 @@ ifneq (,$(BUILD_DOCS))
          sed -i "s,http://www.rust-lang.org/\(favicon.ico\|logos/rust-logo-32x32-blk.png\),$${topdir}rust-logo-32x32-blk.png," "$$file"; \
        done
 
-       find $(DEB_DESTDIR) \( -iname '*.html' -empty -o -name .lock \) -delete
+       find $(DEB_DESTDIR) \( -iname '*.html' -empty -o -name .lock -o -name '*.inc' \) -delete
 
        find $(DEB_DESTDIR)/usr/share/doc -name jquery.js \
          -exec ln -sf /usr/share/javascript/jquery/jquery.js '{}' \;