Here is a patch:
From: Santiago Vila <[email protected]> Subject: Modify doc/Makefile.in to avoid /usr/share/info/dir.gz
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -552,8 +552,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|^.*/||'`; \
