blob: ff1f3077278405db10cdaf45f1ef7c3036a3e18d (
plain)
1
2
3
4
5
6
7
|
# if you work in a sub/sub-rectory of Coq
# you should make a link to that makefile
# ln -s ../../dev/Makefile.subdir Makefile
# in order to have all the facilities of dev/Makefile.dir
TOPDIR=../..
include $(TOPDIR)/dev/tools/Makefile.dir
|
