diff options
author | Rico Tzschichholz <ricotz@ubuntu.com> | 2019-02-12 17:47:49 +0100 |
---|---|---|
committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2019-02-12 17:58:15 +0100 |
commit | 0ddc304d272ee4ce0c3af099632de3a61bc96223 (patch) | |
tree | 648805a59ea20b48c622913547da10e9cbcedb98 /valadoc | |
parent | a5b2d9dd1e3fc73474bb3382d2f1496c935b6e1f (diff) | |
download | vala-0ddc304d272ee4ce0c3af099632de3a61bc96223.tar.gz |
valadoc: Report warning if resources for doclet could not be copied
Diffstat (limited to 'valadoc')
-rw-r--r-- | valadoc/doclets/devhelp/doclet.vala | 4 | ||||
-rw-r--r-- | 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)); |