docs: report if we do not build a doc due to lack of the necessary tool
authorIan Campbell <ian.campbell@citrix.com>
Mon, 14 Nov 2011 17:50:53 +0000 (17:50 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 14 Nov 2011 17:50:53 +0000 (17:50 +0000)
commitd0de523f12adc346fc427ba35ba1c31ef4896114
tree4be40a12b101877e96628faadca1017c87ee9e03
parentd2cb52cc6c4795d31ada3233efa465e96f009f11
docs: report if we do not build a doc due to lack of the necessary tool

Previously only some targets did this. An alternative would be to make a hard
dependency on these tools, this might make more sense especially for markdown?

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Jackson <ian.jackson@eu.citrix.com>
docs/Makefile