On Wed, Nov 12, 2014 at 3:32 PM, Andreas Leha
<andreas.l...@med.uni-goettingen.de> wrote:
> Hi John,
>
> John Hendy <jw.he...@gmail.com> writes:
>> On Nov 12, 2014 7:36 AM, "Andreas Leha"
>> <andreas.l...@med.uni-goettingen.de> wrote:
>>>
>>> Hi Rainer,
>>>
>>> Rainer M Krug <rai...@krugs.de> writes:
>>> > Andreas Leha <andreas.l...@med.uni-goettingen.de> writes:
[snip]
>>> Here, I am after a solution, that works on images that are not
>> produced
>>> but merely included via [[file:./some.pdf]].
>>>
>>
>> If the names are always the same, could you just sed or replace-regexp
>> all *.pdf for *.png?
>>
>
> I could. And I would need to do the conversion manually as well.
Agreed, and sounds like you're already considering ImageMagick for
this. I've used it similarly with more or less good results. I always
have to look up the right options, play with one file a bunch to get a
nice blend of size/quality, and also have learned to use whatever
option (either convert or mogrify) saves a *new* version, as I didn't
get at first that one of those edits the file in-place!
> But I still want the pdfs to go into the LaTeX export.
>
>> Not elegant, but works easily/now, and takes less time than this
>> thread :)
>
> Hint taken. Such feature is apparently not too important for most.
>
Yeah, that was mostly tongue in cheek... I'd be doing the exact same
thing (looking for a better way to automate/process, even though
technically it's simply changing the the contents of
\includegraphics{something} or <img src = "something" />. Thus, to the
last point, I'd generate .pdfs, leave the LaTeX version alone, convert
some other image format for html, and then sed/replace-regexp on the
html to change all image.pdf -> image.png.
John
> [...]
>
> Thanks,
> Andreas
>
>
