valadoc: Report warning if resources for doclet could not be copied

diff --git a/valadoc/doclets/devhelp/doclet.vala b/valadoc/doclets/devhelp/doclet.vala
index a166cc1eb6384a5df1c84166433556f89cd0bd81..5ed14d5203fa7389650086dfbfb4c5cfcd159973 100644 (file)
--- 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 1bb21e94d71ffc817a51abac29ba414cb9f923cc..9d919b7f58a6f171e4578d4f8b045ea8f88001f3 100644 (file)
--- 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));