diff options
author | Ian Jackson <ian.jackson@eu.citrix.com> | 2012-10-09 17:59:59 +0100 |
---|---|---|
committer | Ian Jackson <ian.jackson@eu.citrix.com> | 2012-10-09 17:59:59 +0100 |
commit | 97d5a272d594be442a46446da35d633975d09751 (patch) | |
tree | ab2250567825f9828878b00deffafbf6d0aab613 /stubdom | |
parent | 8e26a013fd848eb2437768e275751b514698b990 (diff) | |
download | xen-97d5a272d594be442a46446da35d633975d09751.tar.gz xen-97d5a272d594be442a46446da35d633975d09751.tar.bz2 xen-97d5a272d594be442a46446da35d633975d09751.zip |
docs, build: Tolerate missing pod2text
We gate the whole of the "txt" target on pod2text. I think this is
better than gating only the pod-generated outputs; it avoids a partial
output tree.
Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'stubdom')
0 files changed, 0 insertions, 0 deletions