From 7823b20dbec0f8f8cb42948b5b06398d2ab33799 Mon Sep 17 00:00:00 2001 From: Adam Dickmeiss Date: Thu, 21 May 2015 11:09:19 +0200 Subject: [PATCH] Add doc/common --- .gitmodules | 3 +++ Makefile | 8 ++++++-- doc/common | 1 + 3 files changed, 10 insertions(+), 2 deletions(-) create mode 100644 .gitmodules create mode 160000 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 -- 1.7.10.4