Commit 0ddc304d authored by Rico Tzschichholz's avatar Rico Tzschichholz

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

parent a5b2d9dd
......@@ -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 = (devpath, "w");
_devhelpwriter = new Devhelp.MarkupWriter (devfile);
......@@ -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));
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment