From 70b3b1cb30c9af476d23ceb61d0acd8342d56bfa Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 5 Mar 2015 09:37:28 +0100
Subject: Removed unused target cleansource.

---
 Makefile.extr | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/Makefile.extr b/Makefile.extr
index eb578fa9..fed2d78f 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -158,10 +158,6 @@ clean:
 	rm -f $(GENERATED)
 	for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done
 
-cleansource:
-	rm -f $(EXECUTABLES)
-	for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done
-
 # Generation of .depend.extr
 
 depend: $(GENERATED)
-- 
cgit