From 2a0b8d89809fdfd48274359c15ba16d98df95a00 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 4 Mar 2010 16:18:21 +0000
Subject: Makefile: cleanup of variables containing lists of files, such as
 MLFILES

 - We clarify their definition via some custom make function: find, diff...
 - We avoid duplications via some $(sort ...)
 - Some name changes:
    * old $(MLFILES) now corresponds to $(MLSTATICFILES) (but .ml from
      .mly and .mll aren't in it anymore).
    * new $(MLFILES) contains all .ml, either static or generated from
      .mly .mll .ml4 or _mod.ml made out of .mllib
    * $(ML4FILESML) is now $(GENML4FILES)
    ...

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

(limited to 'Makefile.build')

diff --git a/Makefile.build b/Makefile.build
index 85a1512410..130435f779 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -632,7 +632,7 @@ install-latex:
 
 source-doc:
 	if !(test -d $(SOURCEDOCDIR)); then mkdir $(SOURCEDOCDIR); fi
-	$(OCAMLDOC) -html -rectypes $(LOCALINCLUDES) -d $(SOURCEDOCDIR) $(MLFILES)
+	$(OCAMLDOC) -html -rectypes $(LOCALINCLUDES) -d $(SOURCEDOCDIR) $(MLSTATICFILES)
 
 
 ###########################################################################
@@ -846,7 +846,7 @@ checker/%.mllib.d: $(D_DEPEND_BEFORE_SRC) checker/%.mllib $(D_DEPEND_AFTER_SRC)
 	$(SHOW)'CCDEP     $<'
 	$(HIDE)$(CC) -MM -MQ "$@" -MQ "$(<:.c=.o)" $(CFLAGS) -isystem $(CAMLHLIB) $< $(TOTARGET)
 
-.SECONDARY: $(GENFILES) $(ML4FILESML)
+.SECONDARY: $(GENFILES) $(GENML4FILES)
 
 ###########################################################################
 # this sets up developper supporting stuff
-- 
cgit v1.2.3