blob: e6a61b8e44996c96a4289723d226cf17c498b5a7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#######################################################################
# v # The Coq Proof Assistant / The Coq Development Team #
# <O___,, # INRIA-Rocquencourt & LRI-CNRS-Orsay #
# \VV/ #############################################################
# // # This file is distributed under the terms of the #
# # GNU Lesser General Public License Version 2.1 #
#######################################################################
include Makefile.stage1
include Makefile.doc
STAGE2_DEPS := $(addsuffix .d, $(GENPLUGINSMOD) $(GENML4FILES) $(VFILES))
.SECONDARY: $(STAGE2_DEPS)
-include $(STAGE2_DEPS)
# NB: all $(STAGE1_DEPS) are already included thanks to the inclusion of
# Makefile.stage1
# For emacs:
# Local Variables:
# mode: makefile
# End:
|
