diff options
author | Peter Wu <peter@lekensteyn.nl> | 2016-02-22 00:44:48 +0100 |
---|---|---|
committer | Graham Bloice <graham.bloice@trihedral.com> | 2016-02-23 23:31:11 +0000 |
commit | 8d256d26d3fda27d521e4edffd6713c0dfcc1c66 (patch) | |
tree | 2eab8ad2e06eec7fc6f93a42245808258c29ea87 /ui | |
parent | 62903874f359db596eaf170a6a4c3e662c589974 (diff) | |
download | wireshark-8d256d26d3fda27d521e4edffd6713c0dfcc1c66.tar.gz |
cmake: fix docbook dependency
After changing an asciidoc source file, the html files were not rebuilt
via 'ninja developer_guides'. It turns out that the
developer_guide_docbook target has an order-only dependency on
developer-guide.xml (and not the developer-guide.xml dependencies).
Fix this by adding an explicit dependency on the generated .xml file.
Change-Id: I4bdc0ebca8909caaab9cc0797cc35cc6260bfe43
Reviewed-on: https://code.wireshark.org/review/14065
Reviewed-by: Peter Wu <peter@lekensteyn.nl>
Petri-Dish: Peter Wu <peter@lekensteyn.nl>
Tested-by: Petri Dish Buildbot <buildbot-no-reply@wireshark.org>
Reviewed-by: Graham Bloice <graham.bloice@trihedral.com>
Diffstat (limited to 'ui')
0 files changed, 0 insertions, 0 deletions