On 8 Apr 2009, at 12:32, Thomas Scharkowski wrote:
some time ago the default midi extension for windows was changed to
"mid".
How can change it back to "midi"?
put
#(ly:set-option 'midi-extension "midi")
somewhere in your source files (probably right at the beginning makes
sense).
i couldn't find this in the documentation -- shouldn't it be in there
somewhere?
regards,
sb
--
Simon Bailey
Oompa Loompa of Science
+43 699 190 631 25
_______________________________________________
lilypond-user mailing list
lilypond-user@gnu.org
http://lists.gnu.org/mailman/listinfo/lilypond-user
