From 9ae20b360e67dacb5d3d455aa34b9737f37b3b45 Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Thu, 31 Jan 2019 19:42:10 -0500 Subject: rename git-clean to extra-clean --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 82933b60..84293e6e 100644 --- a/Makefile +++ b/Makefile @@ -24,5 +24,5 @@ headers: .headers.mk clean: rm -rf $(OBJDIR) *.a -git-clean: clean +extra-clean: clean rm -rf .dep .headers.mk .deps.mk include -- cgit v1.2.1