From: Santiago Vila
Subject: Modified doc/Makefile.in to avoid /usr/share/info/dir.gz
X-Debian-version: 3.6-16

--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -223,7 +223,7 @@
 	  done; \
 	done
 	@$(POST_INSTALL)
-	@if $(SHELL) -c 'install-info --version | sed 1q | fgrep -s -v -i debian' >/dev/null 2>&1; then \
+	@if false; then \
 	  list='$(INFO_DEPS)'; \
 	  for file in $$list; do \
 	    echo " install-info --info-dir=$(DESTDIR)$(infodir) $(DESTDIR)$(infodir)/$$file";\
