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