From 8567e6a4e6e276a3239bf61681731331fd34e168 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 4 May 2004 14:28:48 +0000
Subject: Typo

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

diff --git a/Makefile b/Makefile
index 09e859e908..af9eb3af18 100644
--- a/Makefile
+++ b/Makefile
@@ -655,10 +655,13 @@ 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/blast.cmo contrib/interface/centaur.cmo \
+#  contrib/interface/explication.cmo
+
 INTERFACECMX=$(INTERFACE:.cmo=.cmx)
 
-ML4FILES += contrib/interface/debug_tac.ml4 contrib/interface/centaur.ml4
+ML4FILES += contrib/interface/debug_tac.ml4 contrib/interface/centaur.ml4 \
+  contrib/interface/explication.ml4
 
 PARSERREQUIRES=$(CMO) # Solution de facilité...
 PARSERREQUIRESCMX=$(CMX)
@@ -682,7 +685,7 @@ bin/coq-interface.opt$(EXE): $(COQMKTOP) $(CMX) $(USERTACCMX) $(INTERFACECMX)
 PARSERCODE=contrib/interface/line_parser.cmo contrib/interface/vtp.cmo \
            contrib/interface/xlate.cmo contrib/interface/parse.cmo
 PARSERCMO=$(PARSERREQUIRES) $(PARSERCODE)
-PARSERCMX= $(PARSERREQUIRESCMX) $(PARSECODE:.cmo=.cmx)
+PARSERCMX= $(PARSERREQUIRESCMX) $(PARSERCODE:.cmo=.cmx)
 
 bin/parser$(EXE): $(PARSERCMO)
 	$(SHOW)'OCAMLC -o $@'
-- 
cgit v1.2.3