makePDF: Don't try to convert eps files.
pdflatex converts them itself, and JuicyPixels can't do it. See #2067.
This commit is contained in:
parent
cd51983afe
commit
229db80ac2
1 changed files with 2 additions and 0 deletions
|
@ -175,6 +175,8 @@ convertImage tmpdir fname =
|
|||
Just "image/png" -> doNothing
|
||||
Just "image/jpeg" -> doNothing
|
||||
Just "application/pdf" -> doNothing
|
||||
-- Note: eps is converted by pdflatex using epstopdf.pl
|
||||
Just "application/eps" -> doNothing
|
||||
Just "image/svg+xml" -> E.catch (do
|
||||
(exit, _) <- pipeProcess Nothing "rsvg-convert"
|
||||
["-f","pdf","-a","-o",pdfOut,fname] BL.empty
|
||||
|
|
Loading…
Add table
Reference in a new issue