From ab79aeccec8a70cb8938fd50f9992ddf7a0440af Mon Sep 17 00:00:00 2001 From: Simon Bailey Date: Wed, 8 Apr 2009 18:08:48 +0200 Subject: [PATCH] Added a paragraph documenting the method for changing the MIDI extension from its default .mid to .midi or anything else. --- Documentation/user/input.itely | 11 +++++++++++ 1 files changed, 11 insertions(+), 0 deletions(-) diff --git a/Documentation/user/input.itely b/Documentation/user/input.itely index 27cdfbd..1a9a8ff 100644 --- a/Documentation/user/input.itely +++ b/Documentation/user/input.itely @@ -1457,6 +1457,17 @@ can be suppressed, see @ref{Metronome marks}. An alternative way of specifying the inital or overall MIDI tempo is described below, see @ref{MIDI block}. +Due to limitations on some platforms, the default extension for +MIDI files is @code{.mid}. If a different extension is preferred, +insert the following line before the start of the @code{\score} block: + +@example +#(ly:set-option 'midi-extension "midi") +@end example + +The line above will set the default extension for MIDI files to +@code{.midi}. + @unnumberedsubsubsec Instrument names @cindex instrument names -- 1.6.0.2