diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/manual/manual.mk | 3 |
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 |