From b91c0af9a170a767c8bfae3a2acfdb8c4f5d138d Mon Sep 17 00:00:00 2001 From: tomo Date: Mon, 7 Dec 2009 01:22:25 +0000 Subject: [PATCH] (distclean): New target. --- Makefile.in | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Makefile.in b/Makefile.in index ea989bf..7888b67 100644 --- a/Makefile.in +++ b/Makefile.in @@ -35,3 +35,9 @@ build-gt: install-gt: cd GT && make install + + +distclean: + -$(RM) Makefile config.status config.log + -$(RM) -r autom4te.cache/ + cd GT && make distclean -- 1.7.10.4