DescriptionShould probably have associated this with http://code.google.com/p/lilypond/issues/detail?id=2028. It's an attempt to stop make doc recreating the whole of build/out-www/offline-root/ every time it's run, whether any of the files there have been change or not. It changes the make file to stop it blindly deleting that directory, and then www_post.py to allow for the fact that the directory/ies might exist. It then checks whether the target file is newer than the source before recreating the target. On my quick machine, make LANGS='' doc where there is no work to do now only takes 5 seconds, as opposed to nearly 20. On my slow VM, it reduces the time from 2m 30s to 40s. I've tested it with a fresh make doc and confirmed all the required files exist after the make.
Patch Set 1 #
Total comments: 3
Patch Set 2 : Changes following previous review #
Total comments: 1
MessagesTotal messages: 9
|