У меня есть несколько файлов pdf (графики, созданные с использованием pgf в pdflatex), которые я хотел бы преобразовать в файлы png. До сих пор я пробовал следующее:
1) ImageMagick
convert -density 500 a.pdf -quality 90 a.png
это работает, но фигуры (символы) в моем сюжете заполнены не полностью. Качество хорошее, хотя.
2) Попплер
pdftoppm a.pdf b.png
Хорошее качество, формы полностью заполнены, но шрифт заменен. Так что не пригодится для моих целей.
3) Inkscape
inkscape a.pdf -z --export-dpi=500 --export-area-drawing --export-png=a.png
также работает, но шрифт изменен.
4) Gimp
делает именно то, что я хочу, но я не нашел способа указать dpi на
file-pdf-load
, поэтому пакетная обработка невозможна.
Используются следующие шрифты:
кодировка имени типа emb sub uni ID объекта
TFVHHB + CMR8 Тип 1 Встроенный да да нет 7 0
EWZFDL + CMSY6 Тип 1 Встроенный да да нет 8 0
WGUATP + CMMI8 Type 1 Встроенный да да нет 9 0
KIVMKN + CMMI6 Тип 1 Встроенный да да нет 10 0
Есть какие-нибудь идеи, какое программное обеспечение можно использовать или как один из этих вариантов может работать для меня?
Спасибо,
Себастьян