Changeset 2931

Timestamp:
31.01.2002 14:35:28 (18 years ago)
Author:
jrm21
Message:

We now correctly call gzip under windows. The problem was pdftohtml was using
cygwin, so can use "/tmp" (cygwin re-maps this correctly) but was passing
the filename to gzip, which can't find "/tmp" on windows. We now use
$GSDLHOME/tmp on windows instead.

Files:
1 modified