Comment #2 on issue 2028 by [email protected]: 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.
_______________________________________________ bug-lilypond mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-lilypond
