[vala/staging] valadoc: Report warning if resources for doclet could not be copied

[Rico Tzschichholz <ricotz src gnome org>]

commit 0ddc304d272ee4ce0c3af099632de3a61bc96223
Author: Rico Tzschichholz <ricotz ubuntu com>
Date:   Tue Feb 12 17:47:49 2019 +0100

    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(-)
---
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));