2008/5/17 Han-Wen Nienhuys <[EMAIL PROTECTED]>: > we can have a -dmidi-extension=mid, and change the default for the > Windows binary.
Another feature that would be greatly appreciated (once again, this is an idea from the French list) would be the ability to define separate output paths for midi and .ps/pdf files. Currently, the -o option does not allow to output midi files in a separate directory. Cheers, Valentin _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-user
