From 180e10a060a827671a53d9dcf2f22a2f9e3454a8 Mon Sep 17 00:00:00 2001 From: Fredrik Ekre Date: Fri, 23 Nov 2018 13:12:27 +0100 Subject: [PATCH] dbg --- src/Writers/LaTeXWriter.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Writers/LaTeXWriter.jl b/src/Writers/LaTeXWriter.jl index 08026d57ccc..2e9e7925ffd 100644 --- a/src/Writers/LaTeXWriter.jl +++ b/src/Writers/LaTeXWriter.jl @@ -52,6 +52,7 @@ const DOCUMENT_STRUCTURE = ( ) const DOCKER_IMAGE_TAG = "0.1" +const verbose = `--verbose` in ARGS function render(doc::Documents.Document) mktempdir() do path @@ -107,7 +108,7 @@ function render(doc::Documents.Document) run(pipeline(dockercmd, stdout="LaTeXWriter.stdout", stderr="LaTeXWriter.stderr")) elseif latexmk @info "LaTeXWriter: using natively installed latex" - run(pipeline(texcmd, stdout="LaTeXWriter.stdout", stderr="LaTeXWriter.stderr")) + run(pipeline(texcmd, stdout = verbose ? stdout : "LaTeXWriter.stdout", stderr = verbose ? stderr : "LaTeXWriter.stderr")) else @error "LaTeXWriter: docker or latexmk + lualatex required for PDF generation." end