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.

    http://www.opengroup.org/onlinepubs/009695399/utilities/cp.html

  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 dfki.de

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

Geschaeftsfuehrung:
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.