4 .PHONY: all clean mostlyclean distclean realclean
8 all info install-info dvi install uninstall installcheck check:
9 @echo "Nothing to be done for $@..."
12 -rm -f *.o *.diff *~ core $(PROGS)
14 distclean maintainer-clean realclean: clean
15 -rm -f Makefile config.status config.log gdb.log gdb.sum