|
From: | lilypond |
Subject: | Re: Issue 2028 in lilypond: Make doc always recreates HTML files |
Date: | Fri, 18 Nov 2011 17:22:48 +0000 |
Comment #2 on issue 2028 by address@hidden: Make doc always recreates HTML files
http://code.google.com/p/lilypond/issues/detail?id=2028Given 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.
[Prev in Thread] | Current Thread | [Next in Thread] |