aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/tools/Makefile.subdir
blob: cb914bd12915690dfc6176f3d1ce5eb26095f938 (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/tools/Makefile.subdir Makefile
# in order to have all the facilities of dev/tools/Makefile.dir

TOPDIR=../..
include $(TOPDIR)/dev/tools/Makefile.dir