]> git.ipfire.org Git - thirdparty/vala.git/commitdiff
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)
Simply assume we already generated the documentation for this dependency
in a previous invocation running with --deps.

valadoc/doclets/html/doclet.vala

index b2dde98a5c63c3954c8ec0b891b03f588170d57c..1bb21e94d71ffc817a51abac29ba414cb9f923cc 100644 (file)
@@ -109,6 +109,10 @@ public class Valadoc.Html.Doclet : Valadoc.Html.BasicDoclet {
                string pkg_name = package.name;
                string path = GLib.Path.build_filename ( this.settings.path, pkg_name );
 
+               if (package.is_package && FileUtils.test (path, FileTest.EXISTS)) {
+                       return;
+               }
+
                var rt = DirUtils.create (path, 0777);
                rt = DirUtils.create (GLib.Path.build_filename (path, "img"), 0777);