8 all info install-info dvi install uninstall installcheck check:
9 @echo "Nothing to be done for $@..."
14 -rm -f core $(EXECUTABLES) $(MISCELLANEOUS)
16 distclean maintainer-clean realclean: clean
17 -rm -f Makefile config.status config.log gdb.log gdb.sum