From b19fbbcb3c5e02d54d1dabf3ad86dd3860969a21 Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sun, 6 Nov 2011 00:15:18 +0000
Subject: Added XML manipulation tools to compilation chain

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14632 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.common         | 4 ++--
 toplevel/toplevel.mllib | 3 +++
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/Makefile.common b/Makefile.common
index b7ff5da4f..e8d876769 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -76,8 +76,8 @@ CSDPCERT:=plugins/micromega/csdpcert$(EXE)
 SRCDIRS:=\
   config 	tools 		tools/coqdoc 	scripts		lib \
   kernel	kernel/byterun	library 	proofs 		tactics \
-  pretyping	interp		toplevel 	parsing 	ide/utils \
-  ide		\
+  pretyping	interp		toplevel/utils	toplevel 	parsing 	\
+  ide/utils	ide		\
   $(addprefix plugins/, \
     omega	romega 		micromega 	quote		ring	dp \
     setoid_ring xml 		extraction 	fourier \
diff --git a/toplevel/toplevel.mllib b/toplevel/toplevel.mllib
index 8b03e9380..2db870202 100644
--- a/toplevel/toplevel.mllib
+++ b/toplevel/toplevel.mllib
@@ -1,3 +1,6 @@
+Xml_lexer
+Xml_parser
+Xml_utils
 Himsg
 Cerrors
 Class
-- 
cgit v1.2.3