From 96e12c8a274ea3e08648116f3fb052e3de005560 Mon Sep 17 00:00:00 2001 From: Matthew Sotoudeh Date: Mon, 13 Apr 2020 08:40:01 -0700 Subject: Initial code release --- patches/latexrun-pull-47 | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 patches/latexrun-pull-47 (limited to 'patches/latexrun-pull-47') diff --git a/patches/latexrun-pull-47 b/patches/latexrun-pull-47 new file mode 100644 index 0000000..18afb05 --- /dev/null +++ b/patches/latexrun-pull-47 @@ -0,0 +1,22 @@ +--- latexrun ++++ latexrun +@@ -861,15 +861,16 @@ class LaTeX(Task): + pages of output. + """ + jobname = outname = None +- for m in re.finditer(r'^Transcript written on "?(.*)\.log"?\.$', stdout, ++ for m in re.finditer(r'^Transcript written on "?(.*?)\.log"?\.$', stdout, + re.MULTILINE | re.DOTALL): + jobname = m.group(1).replace('\n', '') + if jobname is None: + print(stdout, file=sys.stderr) + raise TaskError('failed to extract job name from latex log') +- for m in re.finditer(r'^Output written on "?(.*\.[^ ."]+)"? \([0-9]+ page', ++ for m in re.finditer(r'^Output written on "?(.*?\.[^ ."]+)"? \([0-9]+ (page)?', + stdout, re.MULTILINE | re.DOTALL): +- outname = m.group(1).replace('\n', '') ++ if m.group(2) == "page": ++ outname = m.group(1).replace('\n', '') + if outname is None and not \ + re.search(r'^No pages of output\.$|^! Emergency stop\.$' + r'|^! ==> Fatal error occurred, no output PDF file produced!$', -- cgit v1.2.3