summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorYann E. MORIN <yann.morin.1998@free.fr>2014-10-03 19:01:40 +0200
committerPeter Korsgaard <peter@korsgaard.com>2014-10-12 07:46:26 +0200
commit3243609fd026bc499c23529dd18b6e12021d5bb1 (patch)
treeba6e8bbee0cbf709336e6fb351bf95ec2781e3a6 /docs
parent1750f31b1f1f7c4300a427e1dcebfc379c411d7a (diff)
docs/manual: simplify generation dependencies
The document's main file is already part of MANUAL_SOURCES, so no need to explicitly depend on it. Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr> Cc: Samuel Martin <s.martin49@gmail.com> Cc: Thomas De Schampheleire <patrickdepinguin@gmail.com> Acked-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com> Acked-by: Samuel Martin <s.martin49@gmail.com> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Diffstat (limited to 'docs')
-rw-r--r--docs/manual/manual.mk3
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/manual/manual.mk b/docs/manual/manual.mk
index dd6f0ea01..56dff5605 100644
--- a/docs/manual/manual.mk
+++ b/docs/manual/manual.mk
@@ -98,8 +98,7 @@ $$(O)/docs/$(1)/$(1).$(4):
to make through the command line: \
'PATH=/path/to/custom-xsltproc/bin:$$$${PATH} make manual-pdf')
else
-$$(O)/docs/$(1)/$(1).$(4): docs/$(1)/$(1).txt \
- $$($$(call UPPERCASE,$(1))_SOURCES) \
+$$(O)/docs/$(1)/$(1).$(4): $$($$(call UPPERCASE,$(1))_SOURCES) \
manual-check-dependencies \
manual-check-dependencies-$(3) \
manual-prepare-sources