diff options
Diffstat (limited to 'org/output_xmls.org')
-rw-r--r-- | org/output_xmls.org | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/org/output_xmls.org b/org/output_xmls.org index ef8e15e..321889b 100644 --- a/org/output_xmls.org +++ b/org/output_xmls.org @@ -483,13 +483,15 @@ auto inline_links(M,O)( ); } } else { - writeln( - "WARNING on internal document links, anchor to link <<" - ~ m.captures[3] - ~ ">> not found in document, " - ~ "anchor: " ~ m.captures[3] - ~ " document: " ~ doc_matters.src.filename - ); + if (!(doc_matters.opt.action.quiet)) { + writeln( + "WARNING on internal document links, anchor to link <<" + ~ m.captures[3] + ~ ">> not found in document, " + ~ "anchor: " ~ m.captures[3] + ~ " document: " ~ doc_matters.src.filename + ); + } } } } |