From c88af9ff3deaa6da8985c5119284b7a925a04d65 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 28 Feb 2001 09:33:03 +0000
Subject: bug Reset et Sections

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index aba77cd8fc..2de7a99d7c 100644
--- a/Makefile
+++ b/Makefile
@@ -642,6 +642,9 @@ dependcoq: beforedepend
 
 ML4FILESML = $(ML4FILES:.ml4=.ml)
 
+ml4filesml:
+	$(MAKE) -f Makefile.dep $(ML4FILESML)
+
 depend: beforedepend
 # 1. We express dependencies of the .ml files w.r.t their grammars
 	rm -f .depend.camlp4
-- 
cgit v1.2.3