1
#######################################################################
2
# v # The Coq Proof Assistant / The Coq Development Team #
3
# <O___,, # INRIA-Rocquencourt & LRI-CNRS-Orsay #
4
# \VV/ #############################################################
5
# // # This file is distributed under the terms of the #
6
# # GNU Lesser General Public License Version 2.1 #
7
#######################################################################
9
include Makefile.stage1
11
-include $(ML4FILES:.ml4=.ml4.ml.d)
12
.SECONDARY: $(ML4FILES:.ml4=.ml4.ml.d)