[gnumach] 52/56: rules (clean): Remove generated documentation.

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script.

sthibault pushed a commit to branch master
in repository gnumach.

commit c3f7ec915a2eb8bd8a5fb7011c1ecfe5de3bc081
Author: Samuel Thibault <address@hidden>
Date:   Sat Sep 28 10:36:49 2013 +0000

    rules (clean): Remove generated documentation.
---
 debian/changelog |    1 +
 debian/rules     |    1 +
 2 files changed, 2 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 15c9005..694406f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,6 +3,7 @@ gnumach (2:1.4-1) UNRELEASED; urgency=low
   * New upstream release.
     - patches/00_clean_gfdl.patch: Drop, upstream documentation does not have
       invariant sections any more.
+    - rules (clean): Remove generated documentation.
 
  -- Samuel Thibault <address@hidden>  Sat, 28 Sep 2013 10:24:04 +0000
 
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

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-hurd/gnumach.git