Skip to content

Commit

Permalink
Update the command used
Browse files Browse the repository at this point in the history
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.
  • Loading branch information
ig0774 authored Mar 19, 2018
1 parent 8a92bfe commit 09a660f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion makePDF.py
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down

0 comments on commit 09a660f

Please sign in to comment.