Thanks for your feedback. Hearing no objection, I’ll remove it shortly. Vincent
On 10/11/10 09:42, Jeremias Maerki wrote: > I think that's a good idea. I've locally removed the fop.bat and just > called "fop". Worked fine on XP despite the ".cmd" extension. Less > redundancy, improved usability. +1 > > On 04.11.2010 11:25:10 Vincent Hennebert wrote: >> Hi, >> >> We've been bitten several times in the past already by the fact that >> fop.bat doesn’t automatically pick jars in the lib directory. Even users >> stumble upon that kind of issue. >> >> My question is: is it safe to remove it? Would one of the other two >> scripts be a sane default on nowadays Windows platforms? >> >> Thanks, >> Vincent >> >> >> On 02/11/10 11:12, Simon Pepping wrote: >>> On Mon, Nov 01, 2010 at 09:31:23PM +0100, J.Pietschmann wrote: >>>> On 01.11.2010 13:20, Peter Hancock wrote: >>>>> I am not a windows user and so there may be an environmental reason >>>>> you are not have success but I do not think that is likely. >>>> >>>> The fop.bat for windows isn't nearly as intelligent as the fop >>>> shell script used on Linux/Unix. In particular, on windows each >>>> jar which has to be included into the classpath gets an explicit >>>> line in the fop.bat, while the shell script automatically includes >>>> every jar it finds in the lib subdirectory. The fop.cmd command >>>> file should also automatically includes every jar in the lib subdir, >>>> but usually the fop.bat command takes precedence. >>> >>> I created fop.js for the same purpose. It should also include all jar >>> files in the lib subdirectory automatically. Since I do not use MS >>> Windows myself, I did not use or test it recently. >>> >>> Simon >>> >>>> So in order to so in order to get FOP with JEuclid working on Windows >>>> with the fop.bat command, the fop.bat file has to be modified to >>>> add the JEuclid jars to LOCALCLASSPATH (this should'nt be too hard). >>>> Or just call fop.cmd explicitely: >>>> fop.cmd mathml.fo mathml.pdf >>> >>> --------------------------------------------------------------------- >>> To unsubscribe, e-mail: [email protected] >>> For additional commands, e-mail: [email protected] >>> > > > > > Jeremias Maerki >
