diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/manual/manual.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/manual/manual.mk b/docs/manual/manual.mk index d664603a6..aa205341d 100644 --- a/docs/manual/manual.mk +++ b/docs/manual/manual.mk @@ -18,7 +18,7 @@ $(1): $(1)-$(3) $(1)-$(3): $$(O)/docs/$(1)/$(1).$(4) $$(O)/docs/$(1)/$(1).$(4): docs/$(1)/$(1).txt $$($(call UPPERCASE,$(1))_SOURCES) - @echo "Generating $(5) $(1)..." + @$(call MESSAGE,"Generating $(5) $(1)...") $(Q)mkdir -p $$(@D) $(Q)a2x $(6) -f $(2) -d book -L -r $(TOPDIR)/docs/images \ -D $$(@D) $$< |