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