diff options
Diffstat (limited to 'org/output_latex.org')
| -rw-r--r-- | org/output_latex.org | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/org/output_latex.org b/org/output_latex.org index be0e653..f0ce620 100644 --- a/org/output_latex.org +++ b/org/output_latex.org @@ -64,7 +64,9 @@ void writeOutputLaTeX(T,M)( if (!exists(pth_latex.latex_path_stuff)) { (pth_latex.latex_path_stuff).mkdirRecurse; } - writeln(pth_latex.latex_file_with_path); + if (!(doc_matters.opt.action.quiet)) { + writeln(pth_latex.latex_file_with_path); + } auto f = File(pth_latex.latex_file_with_path, "w"); f.writeln(latex_content.head); f.writeln(latex_content.content); |