Re: [isabelle] Should isatool document preparation preserve timestamps while copying?

On Mon, Feb 22, 2010 at 03:50:07PM +0100, Makarius wrote:
>> If I use -C false and rsync, make will notice that blah.pdf is newer  
>> than blah.svg and not run the conversion.
> rsync is part of the answer why special behaviour is avoided by default:  
> it is not part of the classic Unix canon of tools.  Even just plain cp is 
> very delicate: hardly any of the more advanced options are universally  
> available.

  cp -p should be fairly portable, cf.

  Best, Mark

Dr. Mark A. Hillebrand
German Research Center for Artificial Intelligence
Saarbruecken, Germany
Building E1 1, Room 4.06
Phone: +49 (0)681 302 57379    Fax: +49 (0)681 302 4290
Email: mah at

Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
Trippstadter Strasse 122, D-67663 Kaiserslautern, Germany

Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender)
Dr. Walter Olthoff

Vorsitzender des Aufsichtsrats:
Prof. Dr. h.c. Hans A. Aukes

Amtsgericht Kaiserslautern, HRB 2313

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.