Re: Issue 2028 in lilypond: Make doc always recreates HTML files

[lilypond]

Comment #2 on issue 2028 by address@hidden: Make doc always  
recreates HTML files
http://code.google.com/p/lilypond/issues/detail?id=2028

Given the way www_post.py works, I don't think it's wise to try to create a  
make rule to stop it running if a given file is already present in the  
destination tree.  My suggestion would be to modify web_post.py so that it  
checks the timestamp of the file in the output directory before processing  
and copying it, and skipping the processing if the file is newer or the  
same age as the source file.  This will mean checking 15,000 timestamps,  
but still should be a lot quicker.