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

[Rico Tzschichholz <ricotz src gnome org>]

commit ad0bb2ebeeb2809ccc51a755cef060aa447ded5b
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 a166cc1eb..5ed14d520 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 (icons_dir, path);
+               if (!copy_directory (icons_dir, path)) {
+                       reporter.simple_warning ("Devhelp", "Couldn't copy resources from `%s'".printf 
(icons_dir));
+               }
 
                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 1bb21e94d..9d919b7f5 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 (icons_dir, settings.path);
+               if (!copy_directory (icons_dir, settings.path)) {
+                       reporter.simple_warning ("Html", "Couldn't copy resources from `%s'".printf 
(icons_dir));
+               }
 
                write_wiki_pages (tree, css_path_wiki, js_path_wiki, Path.build_filename(settings.path, 
settings.pkg_name));