tidy not touching timestamp?

In addition to tidy not reporting some errors [1], I've noted that when tidy 
changes a file it doesn't touch the time stamp (win2k). This means that I 
don't know about the fix, and cvs won't see a change and consequently won't 
publish the fix.

[1] http://lists.w3.org/Archives/Public/html-tidy/2001JanMar/0270.html

__
Joseph Reagle Jr.                 http://www.w3.org/People/Reagle/
W3C Policy Analyst                mailto:reagle@w3.org
IETF/W3C XML-Signature Co-Chair   http://www.w3.org/Signature
W3C XML Encryption Chair          http://www.w3.org/Encryption/2001/

Received on Wednesday, 28 March 2001 14:37:21 UTC