The following commit has been merged in the master branch:
commit 7f39818e5cd872119f25b1c8df95711c8b117ee5
Author: Guido Guenther <[EMAIL PROTECTED]>
Date: Wed Jul 23 17:59:14 2008 -0400
remove files generated during build
diff --git a/debian/rules b/debian/rules
index 35d1bbc..cbd274e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -17,6 +17,10 @@ DEB_MAKE_INSTALL_TARGET := install-byte
endif
DEB_MAKE_INSTALL_TARGET += DESTDIR="$(DESTDIR)"
+clean::
+ rm -f Make.rules Makefile config.h config.log config.status \
+ po/Makefile virt-top/Makefile virt-top/virt_top_gettext.ml
+
redo-patches::
rm -f debian/patches/*
git format-patch -N -o debian/patches master...patch-queue | \
--
virt-top packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
