From f37eb27b2443e202f90b8f23abf80afa0dde70a3 Mon Sep 17 00:00:00 2001
From: Simon Bailey <binabik@pc6143-c703.uibk.ac.at>
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 file changed, 11 insertions(+)

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
-- 
2.39.5