if XENO_BUILD_DOC
|
git-src-check: FORCE
|
@if test \! -e $(top_srcdir)/.git ; then \
|
echo "$@ wants $top_srcdir to be a GIT working tree." ; \
|
/bin/false; \
|
fi
|
else
|
git-src-check:
|
endif
|
|
INPUT_DOCS = \
|
asciidoc/pages/Installing_Xenomai_3.x.adoc \
|
asciidoc/pages/Running_Apps_with_Xenomai_3.x.adoc \
|
asciidoc/pages/Migrating_to_Xenomai_3.x.adoc \
|
asciidoc/pages/Troubleshooting_dual_kernel.adoc \
|
asciidoc/pages/Troubleshooting_single_kernel.adoc
|
|
OUTPUT_DOCS = \
|
doc/asciidoc/README.INSTALL.adoc \
|
doc/asciidoc/README.APPLICATIONS.adoc \
|
doc/asciidoc/MIGRATION.adoc \
|
doc/asciidoc/TROUBLESHOOTING.COBALT.adoc \
|
doc/asciidoc/TROUBLESHOOTING.MERCURY.adoc
|
|
all-local: git-src-check
|
@set -e; if test \! x$(XENO_DOC_GIT) = x; then \
|
if test -d doc.git; then \
|
(cd doc.git && git pull --quiet --force); \
|
else \
|
git clone --branch master --depth 1 --quiet \
|
$(XENO_DOC_GIT) doc.git; \
|
fi; \
|
set -- $(OUTPUT_DOCS); \
|
for doc in $(INPUT_DOCS); do \
|
cp doc.git/$$doc $(top_srcdir)/$$1; \
|
shift; \
|
done; \
|
fi
|
|
clean-local:
|
$(RM) -R doc.git
|
|
.PHONY: FORCE
|
