On Wed, Jun 15, 2011 at 02:19:23PM +0100, Phil Holmes wrote: > The attached patch reduces the output from make doc slightly and > produces some new log files instead. Graham - could you push, > please? (I have done at least one make doc using it, with no > problems).
Are you sure that it creates *new* log files, instead of overwriting the existing .log file? I mean, don't we have a rule for .ly -> .log now? How would you feel about making the created file .midi.log ? (or is the first part of the filename guaranteed to be unique for some reason, or at least contain "midi" already? that might be the case, but it's not obvious from the patch and my shaky knowledge of the build system) Cheers, - Graham _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
