Add doctitle to lyrics-old-spacing-settings.ly

diff --git a/Documentation/snippets/lyrics-old-spacing-settings.ly b/Documentation/snippets/lyrics-old-spacing-settings.ly
index 4cb66f6e507cae585463c96f6766ba447bfea2f3..5ac6929b805756300c84e97026494a78aa3e7cbc 100644 (file)
--- a/Documentation/snippets/lyrics-old-spacing-settings.ly
+++ b/Documentation/snippets/lyrics-old-spacing-settings.ly
@@ -6,13 +6,17 @@
 
 \header {
   lsrtags = "vocal-music"
+
+  doctitle = "Obtaining 2.12 lyrics spacing in newer versions"
+
   texidoc = "
 The vertical spacing engine changed for version 2.14.  This can
 cause lyrics to be spaced differently.  It is possible to set
 properties for @code{Lyric} and @code{Staff} contexts to get the
 spacing engine to behave as it did in version 2.12.
 "
-}
+} % begin verbatim
+
 
 global = {
   \key d \major

diff --git a/Documentation/snippets/new/lyrics-old-spacing-settings.ly b/Documentation/snippets/new/lyrics-old-spacing-settings.ly
index 42cc85dc8a7bb3ba7c6231e78341f26dbbd19850..b4ac79260e5dd78c1c51f589f7ef85b1e03b4758 100644 (file)
--- a/Documentation/snippets/new/lyrics-old-spacing-settings.ly
+++ b/Documentation/snippets/new/lyrics-old-spacing-settings.ly
@@ -2,6 +2,9 @@
 
 \header {
   lsrtags = "vocal-music"
+
+  doctitle = "Obtaining 2.12 lyrics spacing in newer versions"
+
   texidoc = "
 The vertical spacing engine changed for version 2.14.  This can
 cause lyrics to be spaced differently.  It is possible to set