From: Adam Dickmeiss <adam@indexdata.dk>
Date: Thu, 21 May 2015 09:09:19 +0000 (+0200)
Subject: Add doc/common
X-Git-Tag: v0.4~17
X-Git-Url: http://git.indexdata.com/?p=mp-xquery-moved-to-github.git;a=commitdiff_plain;h=7823b20dbec0f8f8cb42948b5b06398d2ab33799

Add doc/common
---

diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..fa48b77
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "doc/common"]
+	path = doc/common
+	url = git://git.indexdata.com/id-docbook-common
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
diff --git a/doc/common b/doc/common
new file mode 160000
index 0000000..790930a
--- /dev/null
+++ b/doc/common
@@ -0,0 +1 @@
+Subproject commit 790930ae30e7d12e02a512a109fc40c82675df20