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 bb53a1ff3538dbccc4b73c8700b4f851d465393b..4dc4a13ef945a1046dd83cf6edce3b4ce8c48c2b 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 (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 9cb23cd17e544cf605952f421abd6d2ef195f60f..ff7c0e1b4247b4db93c2acf238b6bf66026e59dd 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 (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));