diff options
Diffstat (limited to 'patches/latexrun-pull-47')
| -rw-r--r-- | patches/latexrun-pull-47 | 22 |
1 files changed, 22 insertions, 0 deletions
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!$', |