From be800056397163ec9c475e6aee44925c97f86f58 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 24 Nov 1999 17:57:25 +0000
Subject: MAJ pour fusion avec pretyping

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index b4d60a98b3..9819598d03 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ noargument:
 	@echo or make archclean
 
 LOCALINCLUDES=-I config -I lib -I kernel -I library \
-              -I proofs -I tactics -I parsing -I toplevel
+              -I proofs -I tactics -I pretyping -I parsing -I toplevel
 INCLUDES=$(LOCALINCLUDES) -I $(CAMLP4LIB)
 
 BYTEFLAGS=$(INCLUDES) $(CAMLDEBUG)
@@ -113,9 +113,10 @@ LPKERNEL = kernel/doc.tex $(KERNEL:.cmo=.mli)
 LPLIBRARY = library/doc.tex $(LIBRARY:.cmo=.mli)
 LPPROOFS = proofs/doc.tex $(PROOFS:.cmo=.mli)
 LPTACTICS = tactics/doc.tex $(TACTICS:.cmo=.mli)
+LPPRETYPING = pretyping/rawterm.mli $(PRETYPING:.cmo=.mli)
 LPTOPLEVEL = toplevel/doc.tex $(TOPLEVEL:.cmo=.mli)
 LPFILES = doc/macros.tex doc/intro.tex $(LPLIB) $(LPKERNEL) $(LPLIBRARY) \
-	  $(LPPROOFS) $(LPTACTICS) $(LPTOPLEVEL)
+	  $(LPPROOFS) $(LPTACTICS) $(LPPRETYPING) $(LPTOPLEVEL)
 
 doc/coq.tex: doc/preamble.tex $(LPFILES)
 	cat doc/preamble.tex > doc/coq.tex
@@ -240,4 +241,4 @@ dependcamlp4: beforedepend
 	done
 
 include .depend
-include .depend.camlp4
\ No newline at end of file
+include .depend.camlp4
-- 
cgit v1.2.3