From: Jim Meyering <jim@meyering.net>
Date: Sun, 29 Oct 1995 14:23:11 +0000 (+0000)
Subject: (distclean): Remove .deps.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a675d1ef978068fda0d6b129ab764a27349131fd;p=pspp

(distclean): Remove .deps.
---

diff --git a/lib/Makefile.in b/lib/Makefile.in
index 9c676694be..ddab534d67 100644
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -85,6 +85,7 @@ mostlyclean: clean
 
 distclean: clean
 	rm -f Makefile *.tab.c tposixtm.c
+	rm -rf .deps
 
 maintainer-clean: distclean
 	rm -f TAGS getdate.c posixtm.c