From 61a5b70a975d8219b70b84ca3ad53eb31b77e724 Mon Sep 17 00:00:00 2001
From: sacerdot
Date: Thu, 25 Mar 2004 12:34:42 +0000
Subject: ProofTree2Xml is no longer directly used by Xmlcommand. On the
 contrary, it registers itself using the hook provided by Xmlcommand. The
 obtained designed is more modular.

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

diff --git a/Makefile b/Makefile
index 8b4dd809f8..b7e72d468f 100644
--- a/Makefile
+++ b/Makefile
@@ -252,8 +252,9 @@ XMLCMO=\
   contrib/xml/unshare.cmo contrib/xml/xml.cmo contrib/xml/acic.cmo \
   contrib/xml/doubleTypeInference.cmo \
   contrib/xml/cic2acic.cmo contrib/xml/acic2Xml.cmo \
-  contrib/xml/proof2aproof.cmo contrib/xml/proofTree2Xml.cmo \
-  contrib/xml/xmlcommand.cmo contrib/xml/xmlentries.cmo 	
+  contrib/xml/proof2aproof.cmo \
+  contrib/xml/xmlcommand.cmo contrib/xml/proofTree2Xml.cmo \
+	contrib/xml/xmlentries.cmo 	
 
 FOURIERCMO=\
   contrib/fourier/fourier.cmo contrib/fourier/fourierR.cmo \
-- 
cgit v1.2.3