diff options
Diffstat (limited to 'org/output_xmls.org')
| -rw-r--r-- | org/output_xmls.org | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/org/output_xmls.org b/org/output_xmls.org index 5e312f2..d8a839d 100644 --- a/org/output_xmls.org +++ b/org/output_xmls.org @@ -2084,7 +2084,9 @@ void images_cp(M)( if (exists(fn_src_in)) { fn_src_in.copy(fn_src_out); } else { - writeln("WARNING image not found: ", fn_src_in); + if (!(doc_matters.opt.action.quiet)) { + writeln("WARNING image not found: ", fn_src_in); + } } } } |