diff --git a/debian/rules b/debian/rules
index 7ac48f74586f4067d6898f9502d31db8ca51db62..444eec60e738d79b52cb369f92ce68f64aa879cf 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
rm -f build-stamp
[ ! -f Makefile ] || $(MAKE) distclean
+ rm -f doc/*.info
dh_clean