From 3202711c3197f02dd498fbe9f018d1f12b74de7a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 16 Jul 2004 16:47:23 +0000
Subject: Suppression compilation explication.ml4

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

diff --git a/Makefile b/Makefile
index 56a6bd5787..c2e52b4211 100644
--- a/Makefile
+++ b/Makefile
@@ -656,13 +656,11 @@ INTERFACE=\
   contrib/interface/history.cmo \
   contrib/interface/name_to_ast.cmo contrib/interface/debug_tac.cmo \
   contrib/interface/showproof_ct.cmo contrib/interface/showproof.cmo \
-  contrib/interface/blast.cmo contrib/interface/centaur.cmo \
-#  contrib/interface/explication.cmo
+  contrib/interface/blast.cmo contrib/interface/centaur.cmo
 
 INTERFACECMX=$(INTERFACE:.cmo=.cmx)
 
-ML4FILES += contrib/interface/debug_tac.ml4 contrib/interface/centaur.ml4 \
-  contrib/interface/explication.ml4
+ML4FILES += contrib/interface/debug_tac.ml4 contrib/interface/centaur.ml4
 
 PARSERREQUIRES=$(CMO) # Solution de facilité...
 PARSERREQUIRESCMX=$(CMX)
-- 
cgit v1.2.3