From: Simon Bailey <binabik@pc6143-c703.uibk.ac.at>
Date: Wed, 8 Apr 2009 16:08:48 +0000 (+0200)
Subject: Added a paragraph documenting the method for changing the MIDI extension from its... 
X-Git-Tag: release/2.13.1-1~56^2~6
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=f37eb27b2443e202f90b8f23abf80afa0dde70a3;p=lilypond.git

Added a paragraph documenting the method for changing the MIDI extension from its default .mid to .midi or anything else.
---

diff --git a/Documentation/user/input.itely b/Documentation/user/input.itely
index 27cdfbd041..1a9a8ff1c9 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