diff options
| author | Ralph Amissah <ralph.amissah@gmail.com> | 2019-10-22 19:32:45 -0400 |
|---|---|---|
| committer | Ralph Amissah <ralph.amissah@gmail.com> | 2019-11-18 14:59:47 -0500 |
| commit | 02714184258c9be072857ddcc03bc114b2e843d1 (patch) | |
| tree | 9818170940f4db2334c54059869819f07f57a10d /org/output_latex.org | |
| parent | multilingual pods, zipped source (diff) | |
cosmetic
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); |