I suppose it would be trivial for the script to "cmp" the old file and the
new and not replace the old file if they match.

        Bruce
--
Bruce Perens <[EMAIL PROTECTED]> Pixar Animation Studios

Reply via email to