From 92739e09e571752f0ce2f6fb0a22beccf25524cf Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 13 Jul 2011 14:26:30 +0200
Subject: [PATCH 1/1] Remove old reference to $(XML_DEV_FILES) and to rule
 "xml".

---
 Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 5b0d491..59afd30 100644
--- a/Makefile
+++ b/Makefile
@@ -60,7 +60,7 @@ full:
 		echo $(MAKE) "$$target";	\
 		$(MAKE) "$$target";		\
 	done
-	$(MAKE) xml $(DEFAULT_TARGETS)
+	$(MAKE) $(DEFAULT_TARGETS)
 
 clean:
 	$(RM) core core.[0-9]* vgcore.[0-9]*
@@ -71,7 +71,6 @@ clean:
 
 realclean: clean
 	$(RM) $(FLAVOURED_LOBA)
-	$(RM) $(XML_DEV_FILES)
 	$(RM) *~
 
 .%.d: %.c ; $(MAKEDEPEND.C)
-- 
2.39.5