From 09a660f83718e156d0b607e91a6286b2b98fa61d Mon Sep 17 00:00:00 2001 From: ig0774 Date: Mon, 19 Mar 2018 11:22:14 +0000 Subject: [PATCH] Update the command used 1. There's extended logic to determine the name of the log file, especially if the output directory or job name is used. This update uses this. 2. Updated the message to something I'm happier with. --- makePDF.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makePDF.py b/makePDF.py index 009351d31..177d8f1ed 100644 --- a/makePDF.py +++ b/makePDF.py @@ -469,7 +469,7 @@ def run ( self ): content[-1] = content[-1] + " No bad boxes." content.append("") - content.append(self.caller.tex_base + ".log:1: Here is the logfile.") + content.append(log_file + ":1: Click here to open the full log.") show_panel = { "always": False,