Re: LilyPond midi extension

[Simon Bailey]

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