## DP: prevent dir.gz creation 

--- texi2html-1.82.orig/doc/Makefile.in	2009-10-11 14:23:41.000000000 +0200
+++ texi2html-1.82/doc/Makefile.in	2009-10-12 20:52:17.000000000 +0200
@@ -575,8 +575,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|^.*/||'`; \