changeset 513:ebed0ead1eab dev

Add a command line using convert to pdf2png setting.
author HIROSE Yuuji <yuuji@gentei.org>
date Thu, 04 Jan 2018 23:52:31 +0900
parents 46f02e576ee1
children 8e0822416fc6
files yatexprc.el
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/yatexprc.el	Thu Jan 04 22:47:54 2018 +0900
+++ b/yatexprc.el	Thu Jan 04 23:52:31 2018 +0900
@@ -448,7 +448,10 @@
 	 "convert -density %d tmp.pdf %b.%f"
        ;; If we use sips, specify jpeg as format
        "sips -s format jpeg -s dpiWidth %d -s dpiHeight %d %b.pdf --out %b.jpg")
-     "rm -f tmp.pdf")))
+     "rm -f tmp.pdf"))
+   ((YaTeX-executable-find "convert")
+    (list "convert -trim -density %d %b.pdf %b.%f"))
+   )
   "*Pipe line of command as a list to create image file from PDF.
 See also doc-string of YaTeX-typeset-dvi2image-chain.")