Added a paragraph documenting the method for changing the MIDI extension from its...

diff --git a/Documentation/user/input.itely b/Documentation/user/input.itely
index 27cdfbd041b324fbdd2115e18ef8c9ea0b6669a7..1a9a8ff1c99bfdf80dd72bc4c618c2231fae7c8c 100644 (file)
--- 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