diff options
| author | Rico Tzschichholz <ricotz@ubuntu.com> | 2022-04-05 11:01:11 +0200 |
|---|---|---|
| committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2022-08-10 19:00:58 +0200 |
| commit | 7ca7ccf13215ed04ed04a755a5c013424d1d0a4b (patch) | |
| tree | 57cd5d55516180b9bb1fe8aa5cbf83464a2fb42d | |
| parent | 1d37bad7f2047e855591a81b853eba66b3f1869f (diff) | |
| download | vala-7ca7ccf13215ed04ed04a755a5c013424d1d0a4b.tar.gz | |
valadoc: Include path to doclet in error message
| -rw-r--r-- | valadoc/valadoc.vala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/valadoc/valadoc.vala b/valadoc/valadoc.vala index 8f57c7d15..b51845672 100644 --- a/valadoc/valadoc.vala +++ b/valadoc/valadoc.vala @@ -186,7 +186,7 @@ public class ValaDoc : Object { doclet = modules.create_doclet (pluginpath); if (doclet == null) { - reporter.simple_error (null, "failed to load doclet"); + reporter.simple_error (null, "failed to load doclet '%s'", pluginpath); return null; } |