From 3869d3744aa799d52922e4bd41c52c9a76013165 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 5 Jun 2002 12:57:59 +0000
Subject: Ajout d'extensions de syntaxe ARGUMENT EXTEND et VERNAC ARGUMENT
 EXTEND; rparation de la protection contre les clauses indiscernables de
 TACTIC EXTEND et VERNAC COMMAND EXTEND; rparation des grammaires de
 Extraction, EAuto, TextMode, KillProof et Derive Dependent Inversion

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index a92321969d..b5ff0809bf 100644
--- a/Makefile
+++ b/Makefile
@@ -785,7 +785,8 @@ tags:
 ML4FILES += parsing/lexer.ml4 parsing/q_util.ml4 parsing/q_coqast.ml4 \
             parsing/g_prim.ml4 parsing/pcoq.ml4
 
-CAMLP4EXTENSIONS= parsing/tacextend.cmo parsing/vernacextend.cmo 
+CAMLP4EXTENSIONS= parsing/argextend.cmo parsing/tacextend.cmo \
+	   parsing/vernacextend.cmo 
 
 GRAMMARCMO=lib/pp_control.cmo lib/pp.cmo lib/util.cmo \
 	   lib/dyn.cmo lib/options.cmo \
@@ -808,7 +809,7 @@ clean::
 ML4FILES +=parsing/g_basevernac.ml4 parsing/g_minicoq.ml4 \
 	   parsing/g_vernac.ml4 parsing/g_proofs.ml4 parsing/g_cases.ml4 \
 	   parsing/g_constr.ml4 parsing/g_tactic.ml4 parsing/g_ltac.ml4 \
-	   parsing/tacextend.ml4 parsing/vernacextend.ml4
+	   parsing/argextend.ml4 parsing/tacextend.ml4 parsing/vernacextend.ml4
 
 # beforedepend:: $(GRAMMARCMO)
 
-- 
cgit v1.2.3