From 08d1196bc276543397ded663f8c6456f148e7bbb Mon Sep 17 00:00:00 2001
From: Simon Bailey <binabik@gmail.com>
Date: Sun, 12 Apr 2009 11:57:49 +0200
Subject: [PATCH] Changes as requested by Neil Puttock (see
 http://lists.gnu.org/archive/html/lilypond-user/2009-04/msg00447.html).

---
 Documentation/de/user/input.itely | 5 +++--
 Documentation/user/input.itely    | 3 ++-
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/Documentation/de/user/input.itely b/Documentation/de/user/input.itely
index 83b9b1b74a..030154a6b0 100644
--- a/Documentation/de/user/input.itely
+++ b/Documentation/de/user/input.itely
@@ -1546,8 +1546,9 @@ unten gezeigt, siehe @ref{MIDI block}.
 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:
+andere Endung erwünscht ist, kann man die folgende Zeile auf oberster
+Ebene der Quelldatei, vor Beginn eines @code{\book}, @code{\bookpart}
+oder @code{\score} Blocks einfügen:
 
 @example
 #(ly:set-option 'midi-extension "midi")
diff --git a/Documentation/user/input.itely b/Documentation/user/input.itely
index 51c46f038b..e384a4fc24 100644
--- a/Documentation/user/input.itely
+++ b/Documentation/user/input.itely
@@ -1460,7 +1460,8 @@ see @ref{MIDI block}.
 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:
+insert the following line at the top-level of the input file,
+before the start of any @code{\book}, @code{\bookpart} or @code{\score} blocks:
 
 @example
 #(ly:set-option 'midi-extension "midi")
-- 
2.39.5