From 3db2e1a70ea103f939e3fb029e867bef8d2f1349 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 5 Nov 2000 20:41:46 +0000
Subject: Déplacement d'une partie de g_vernac.ml4 dans g_proofs.ml4 car
 fichier devenu tros gros pour la compilation en PowerPC

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 38d6aa49e8..95c1971c84 100644
--- a/Makefile
+++ b/Makefile
@@ -88,7 +88,7 @@ PRETYPING=pretyping/rawterm.cmo pretyping/detyping.cmo \
 PARSING=parsing/lexer.cmo parsing/coqast.cmo parsing/pcoq.cmo parsing/ast.cmo \
 	parsing/pattern.cmo parsing/astterm.cmo parsing/termast.cmo \
 	parsing/g_prim.cmo parsing/g_basevernac.cmo \
-	parsing/g_vernac.cmo parsing/g_tactic.cmo \
+	parsing/g_vernac.cmo parsing/g_proofs.cmo parsing/g_tactic.cmo \
 	parsing/g_constr.cmo parsing/g_cases.cmo \
         parsing/extend.cmo parsing/esyntax.cmo \
 	parsing/printer.cmo parsing/pretty.cmo parsing/egrammar.cmo \
@@ -482,7 +482,7 @@ clean::
 	rm -f parsing/grammar.cma
 
 ML4FILES +=parsing/g_basevernac.ml4 parsing/g_minicoq.ml4 \
-	   parsing/g_vernac.ml4 parsing/g_cases.ml4 \
+	   parsing/g_vernac.ml4 parsing/g_proofs.ml4 parsing/g_cases.ml4 \
 	   parsing/g_constr.ml4 parsing/g_tactic.ml4 parsing/extend.ml4    
 
 beforedepend:: $(GRAMMARCMO)
-- 
cgit v1.2.3