+ @if $(SHELL) -c 'install-info --version | sed 1q | fgrep -s -v -i debian' >/dev/null 2>&1; then \
+ echo " install-info --info-dir=$(infodir) $(infodir)/mmalloc.info";\
+ install-info --info-dir=$(infodir) $(infodir)/mmalloc.info || :;\
+ else : ; fi