Angus Leeming wrote: > I therefore suggest a new token '$$orig_i', being the name of the original > file from which '$$i' was copied into the temp directory. Ok?
For me, yes. > Now, Georg, could you expand on your ideas for when this magic should and > should not be invoked? I'm afraid I don't see why it shouldn't be used > every time that fig2pstex.sh is called. As long as the input is always in the temp dir, it is of course safe. The external and graphics inset call the converter only on files in the temp dir, so it should work. However, I have a general bad feeling if something that is supposed to read from 'a' and write to 'b' is modifying 'a' as a side effect. So this should at least be documented in fig2xxxtex.sh. I think for now your solution is fine. I might try my other idea with the converter "from x to x in temp dir" later. Of course it would make use of figtools.sh, and the other modifications will be minor, so your work does not get lost even if we'll switch to the other solution. Georg
