--- Makefile.in.orig Wed Jul 9 05:42:19 2003 +++ Makefile.in Tue Jan 13 23:44:22 2015 @@ -124,7 +124,7 @@ # We still copy the script because we still have alternative scripts. # install-bin : $(TARGETS) - ./fixincl -v < /dev/null +# ./fixincl -v < /dev/null @if [ -f ../fixinc.sh ] ; then rm -f ../fixinc.sh || \ mv -f ../fixinc.sh ../fixinc.sh.$$ || exit 1 ; else : ; fi @cp $(srcdir)/fixincl.sh ../fixinc.sh