Bug#547307: rumor: ships /usr/share/info/dir.gz

[Santiago Vila]

Package: rumor
Version: 1.0.3~beta1-1
Severity: serious
Tags: patch

$ dpkg -c rumor_1.0.3~beta1-1_i386.deb | grep info
drwxr-xr-x root/root         0 2009-09-17 19:21 ./usr/share/info/
-rw-r--r-- root/root      6953 2009-09-17 19:21 ./usr/share/info/rumor.info.gz
-rw-r--r-- root/root       412 2009-09-17 19:21 ./usr/share/info/dir.gz

The dir.gz file should not be there. This is very bad because (among
other things) as soon as there are two packages with this bug, they
can't be installed simultaneously, so we might better not to have any
of them in testing, hence the serious severity.

The following patch might work, please double check. You could also
remove the "if" block entirely.

diff -ru rumor-1.0.3~beta1.orig/doc/Makefile.in rumor-1.0.3~beta1/doc/Makefile.in
--- rumor-1.0.3~beta1.orig/doc/Makefile.in	2004-08-29 07:53:34.000000000 +0200
+++ rumor-1.0.3~beta1/doc/Makefile.in	2009-09-18 14:58:15.452089310 +0200
@@ -331,8 +331,7 @@
 	  done; \
 	done
 	@$(POST_INSTALL)
-	@if (install-info --version && \
-	     install-info --version 2>&1 | sed 1q | grep -i -v debian) >/dev/null 2>&1; then \
+	@if false; then \
 	  list='$(INFO_DEPS)'; \
 	  for file in $$list; do \
 	    relfile=`echo "$$file" | sed 's|^.*/||'`; \

Thanks.