]> git.ipfire.org Git - thirdparty/vala.git/commit
valadoc/html: Skip package dependency if target directory already exists
authorRico Tzschichholz <ricotz@ubuntu.com>
Wed, 14 Nov 2018 21:12:54 +0000 (22:12 +0100)
committerRico Tzschichholz <ricotz@ubuntu.com>
Wed, 14 Nov 2018 21:21:15 +0000 (22:21 +0100)
commit789aa04e386a47e8348a75d6d9633532fa49e212
treeab0866700f0920c86c76d485783ee4476a44bab9
parent2afd6ebbc6bfa6617273ac8d101b3d398d3095cc
valadoc/html: Skip package dependency if target directory already exists

Simply assume we already generated the documentation for this dependency
in a previous invocation running with --deps.
valadoc/doclets/html/doclet.vala