X-Git-Url: http://git.indexdata.com/?p=mp-xquery-moved-to-github.git;a=blobdiff_plain;f=Makefile;fp=Makefile;h=d55a3096fe0b99c590026a58e3f004165f519fe7;hp=a3fb177d5558f1dfaeab5ff4278513fac65a6d4f;hb=7823b20dbec0f8f8cb42948b5b06398d2ab33799;hpb=de5260be2fa0dbe65f663a34deb0581a539247f9 diff --git a/Makefile b/Makefile index a3fb177..d55a309 100644 --- a/Makefile +++ b/Makefile @@ -3,10 +3,14 @@ SUBDIRS = src doc all: $(SUBDIRS) -$(SUBDIRS): +$(SUBDIRS): doc/common $(MAKE) -C $@ -clean install: +clean install: doc/common for d in $(SUBDIRS); do \ $(MAKE) -C $$d $@; \ done + +doc/common: + git submodule init + git submodule update