From: Jim Meyering Date: Sat, 23 Dec 1995 18:19:27 +0000 (+0000) Subject: . X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3074b276d2afe003a2cfdb02ee259f442b737fbf;p=pspp . --- diff --git a/lib/Makefile.in b/lib/Makefile.in index b417cb44d6..057426c3f8 100644 --- a/lib/Makefile.in +++ b/lib/Makefile.in @@ -234,6 +234,7 @@ distclean: clean distclean-noinstLIBRARIES distclean-compile distclean-tags dist maintainer-clean: distclean maintainer-clean-noinstLIBRARIES maintainer-clean-compile maintainer-clean-tags maintainer-clean-generic @echo "This command is intended for maintainers to use;" @echo "it deletes files that may require special tools to rebuild." + rm -f config.status .SUFFIXES: