From 55876f75710bf989ef8ba6473c4d64c866f9cf73 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Thu, 30 Jan 2003 09:42:31 +0000
Subject: pas de Xml.vo

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

diff --git a/Makefile b/Makefile
index 52d6642e30..66f5f7ca31 100644
--- a/Makefile
+++ b/Makefile
@@ -666,7 +666,7 @@ RINGVO = contrib/ring/ArithRing.vo      contrib/ring/Ring_normalize.vo \
 FIELDVO = contrib/field/Field_Compl.vo     contrib/field/Field_Theory.vo \
           contrib/field/Field_Tactic.vo    contrib/field/Field.vo
 
-XMLVO = Xml.vo
+XMLVO = 
 
 INTERFACEV0 = contrib/interface/Centaur.vo
 
-- 
cgit v1.2.3