Edited as requested by Trevor.

diff --git a/Documentation/de/user/input.itely b/Documentation/de/user/input.itely
index cad34151c7dc4027335f550013948a3cd9ecb49a..4d24dc845bc38243494c96fb64d1dc07110ffb35 100644 (file)
--- a/Documentation/de/user/input.itely
+++ b/Documentation/de/user/input.itely
@@ -1543,8 +1543,9 @@ auch unterdrückt werden kann, siehe @ref{Metronome marks}.  Eine
 andere möglichkeit, ein eigenes MIDI-Tempo anzugeben, wird weiter
 unten gezeigt, siehe @ref{MIDI block}.
 
-Aufgrund einiger Einschränkungen auf gewissen Betriebssystemen ist
-die Standarddateierweiterung von MIDI-Dateien @code{.mid}. Wenn eine
+Aufgrund einiger Einschränkungen auf Windows ist auf Windows-Systemen
+die Standarddateierweiterung von MIDI-Dateien @code{.mid}. Andere 
+Betriebssysteme verwenden weiterhin @code{.midi}. Wenn eine
 andere Endung erwünscht ist, kann man die folgende Zeile vor Beginn
 des @code{\score} Blocks einfügen:
 
@@ -1554,6 +1555,13 @@ des @code{\score} Blocks einfügen:
 
 Diese Codezeile setzt die Dateiendung auf @code{.midi}.
 
+Als Alternative kann man diese Option auch als Kommandozeilenparameter
+übergeben:
+
+@example
+lilypond … -dmidi-extension=midi lilyDatei.ly
+@end example
+
 @unnumberedsubsubsec Instrument names
 
 @cindex Instrumentbezeichnungen

diff --git a/Documentation/user/input.itely b/Documentation/user/input.itely
index 1a9a8ff1c99bfdf80dd72bc4c618c2231fae7c8c..8e158d1f6e3901beee77207052265902c5c7eba5 100644 (file)
--- a/Documentation/user/input.itely
+++ b/Documentation/user/input.itely
@@ -1457,8 +1457,9 @@ 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, 
+Due to some limitations on Windows, the default extension for 
+MIDI files on Windows is @code{.mid}. Other operating systems still
+use the extension @code{.midi}. If a different extension is preferred, 
 insert the following line before the start of the @code{\score} block:
 
 @example
@@ -1468,6 +1469,13 @@ insert the following line before the start of the @code{\score} block:
 The line above will set the default extension for MIDI files to
 @code{.midi}.
 
+Alternatively, this option can also be supplied on the command line:
+
+@example
+lilypond … -dmidi-extension=midi lilyFile.ly
+@end example
+
+
 @unnumberedsubsubsec Instrument names
 
 @cindex instrument names