diff options
author | Ian Campbell <ian.campbell@citrix.com> | 2011-11-14 17:50:53 +0000 |
---|---|---|
committer | Ian Campbell <ian.campbell@citrix.com> | 2011-11-14 17:50:53 +0000 |
commit | d0de523f12adc346fc427ba35ba1c31ef4896114 (patch) | |
tree | 4be40a12b101877e96628faadca1017c87ee9e03 /tools/xenmon | |
parent | d2cb52cc6c4795d31ada3233efa465e96f009f11 (diff) | |
download | xen-d0de523f12adc346fc427ba35ba1c31ef4896114.tar.gz xen-d0de523f12adc346fc427ba35ba1c31ef4896114.tar.bz2 xen-d0de523f12adc346fc427ba35ba1c31ef4896114.zip |
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>
Diffstat (limited to 'tools/xenmon')
0 files changed, 0 insertions, 0 deletions