From d5fc85b0b69b870b9dde5cc3b8faa5cbb5251881 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 21 Nov 2000 12:38:02 +0000
Subject: XML débranché

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@896 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 25cbd8a7ae..04ceabaf32 100644
--- a/Makefile
+++ b/Makefile
@@ -320,7 +320,8 @@ RINGVO = contrib/ring/ArithRing.vo      contrib/ring/Ring_normalize.vo \
          contrib/ring/ZArithRing.vo     contrib/ring/Ring_abstract.vo \
          contrib/ring/Quote.vo
 
-XMLVO = contrib/xml/Xml.vo
+#XMLVO = contrib/xml/Xml.vo
+XMLVO=
 
 CONTRIBVO = $(OMEGAVO) $(RINGVO) $(XMLVO)
 
-- 
cgit v1.2.3