From 0ddc304d272ee4ce0c3af099632de3a61bc96223 Mon Sep 17 00:00:00 2001 From: Rico Tzschichholz Date: Tue, 12 Feb 2019 17:47:49 +0100 Subject: valadoc: Report warning if resources for doclet could not be copied --- valadoc/doclets/devhelp/doclet.vala | 4 +++- valadoc/doclets/html/doclet.vala | 4 +++- 2 files changed, 6 insertions(+), 2 deletions(-) (limited to 'valadoc') diff --git a/valadoc/doclets/devhelp/doclet.vala b/valadoc/doclets/devhelp/doclet.vala index bb53a1ff3..4dc4a13ef 100644 --- a/valadoc/doclets/devhelp/doclet.vala +++ b/valadoc/doclets/devhelp/doclet.vala @@ -82,7 +82,9 @@ public class Valadoc.Devhelp.Doclet : Valadoc.Html.BasicDoclet { var rt = DirUtils.create (path, 0777); rt = DirUtils.create (imgpath, 0777); - copy_directory (Config.PACKAGE_VALADOC_ICONDIR, path); + if (!copy_directory (Config.PACKAGE_VALADOC_ICONDIR, path)) { + reporter.simple_warning ("Devhelp", "Couldn't copy resources from `%s'".printf (Config.PACKAGE_VALADOC_ICONDIR)); + } var devfile = FileStream.open (devpath, "w"); _devhelpwriter = new Devhelp.MarkupWriter (devfile); diff --git a/valadoc/doclets/html/doclet.vala b/valadoc/doclets/html/doclet.vala index 9cb23cd17..ff7c0e1b4 100644 --- a/valadoc/doclets/html/doclet.vala +++ b/valadoc/doclets/html/doclet.vala @@ -73,7 +73,9 @@ public class Valadoc.Html.Doclet : Valadoc.Html.BasicDoclet { base.process (settings, tree, reporter); DirUtils.create_with_parents (this.settings.path, 0777); - copy_directory (Config.PACKAGE_VALADOC_ICONDIR, settings.path); + if (!copy_directory (Config.PACKAGE_VALADOC_ICONDIR, settings.path)) { + reporter.simple_warning ("Html", "Couldn't copy resources from `%s'".printf (Config.PACKAGE_VALADOC_ICONDIR)); + } write_wiki_pages (tree, css_path_wiki, js_path_wiki, Path.build_filename(settings.path, settings.pkg_name)); -- cgit v1.2.1