5 rm -f $(PROGRAMS) $(LIBPROGRAMS) $(LIBFILES) $(TEXFILES) $(CLEANFILES)
8 rm -f Makefile *.tab.c $(DISTCLEANFILES)
9 rm -f config.cache config.log config.status ${CONFIG_HEADER} stamp-h
11 maintainer-clean: distclean
12 @echo "This command is intended for maintainers to use;"
13 @echo "it deletes files that may require special tools to rebuild."