Description: fix install-info
 Do not create dir.gz in /usr/share/info during install
Author: Christian T. Steigies <cts@debian.org>
Last-Update: 2017-12-29

Index: moon-buggy-1.0.51/Makefile.in
===================================================================
--- moon-buggy-1.0.51.orig/Makefile.in
+++ moon-buggy-1.0.51/Makefile.in
@@ -775,16 +775,16 @@ install-info-am: $(INFO_DEPS)
 	    else : ; fi; \
 	  done; \
 	done
-	@$(POST_INSTALL)
-	@if (install-info --version && \
-	     install-info --version 2>&1 | sed 1q | grep -i -v debian) >/dev/null 2>&1; then \
-	  list='$(INFO_DEPS)'; \
-	  for file in $$list; do \
-	    relfile=`echo "$$file" | sed 's|^.*/||'`; \
-	    echo " install-info --info-dir='$(DESTDIR)$(infodir)' '$(DESTDIR)$(infodir)/$$relfile'";\
-	    install-info --info-dir="$(DESTDIR)$(infodir)" "$(DESTDIR)$(infodir)/$$relfile" || :;\
-	  done; \
-	else : ; fi
+	#@$(POST_INSTALL)
+	#@if (install-info --version && \
+	#     install-info --version 2>&1 | sed 1q | grep -i -v debian) >/dev/null 2>&1; then \
+	#  list='$(INFO_DEPS)'; \
+	#  for file in $$list; do \
+	#    relfile=`echo "$$file" | sed 's|^.*/||'`; \
+	#    echo " install-info --info-dir='$(DESTDIR)$(infodir)' '$(DESTDIR)$(infodir)/$$relfile'";\
+	#    install-info --info-dir="$(DESTDIR)$(infodir)" "$(DESTDIR)$(infodir)/$$relfile" || :;\
+	#  done; \
+	#else : ; fi
 install-man: install-man6
 
 installcheck-am:
