From 72d9bf028d0cf40cb6c727c69bfbcc15aafc4944 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Tue, 12 Jul 2016 16:28:10 +0200
Subject: Makefile: no more .ml4.d hence no more rule to clean them

---
 Makefile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 3b9d1e67c6..34ce67b7dc 100644
--- a/Makefile
+++ b/Makefile
@@ -159,7 +159,7 @@ Makefile $(wildcard Makefile.*) config/Makefile : ;
 # Cleaning
 ###########################################################################
 
-.PHONY: clean cleankeepvo objclean cruftclean indepclean docclean archclean optclean clean-ide ml4clean ml4depclean depclean cleanconfig distclean voclean devdocclean
+.PHONY: clean cleankeepvo objclean cruftclean indepclean docclean archclean optclean clean-ide ml4clean depclean cleanconfig distclean voclean devdocclean
 
 clean: objclean cruftclean depclean docclean devdocclean
 
@@ -220,9 +220,6 @@ clean-ide:
 ml4clean:
 	rm -f $(GENML4FILES)
 
-ml4depclean:
-	find . -name '*.ml4.d' | xargs rm -f
-
 depclean:
 	find . $(FIND_VCS_CLAUSE) '(' -name '*.d' ')' -print | xargs rm -f
 
-- 
cgit v1.2.3