Make documentation part of dist

[mp-xquery-moved-to-github.git] / Makefile

diff --git a/Makefile b/Makefile
index a3fb177..bbe34d8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -3,10 +3,16 @@ SUBDIRS = src doc
 
 all: $(SUBDIRS)
 
-$(SUBDIRS):
+CDEP=doc/common/common.ent
+
+$(SUBDIRS): $(CDEP)
        $(MAKE) -C $@
 
-clean install:
+clean install: $(CDEP)
        for d in $(SUBDIRS); do \
                $(MAKE) -C $$d $@; \
        done
+
+$(CDEP):
+       git submodule init
+       git submodule update