X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=Documentation%2Fsnippets%2Fchanging-the-ambitus-gap.ly;h=ade2d8e63b712455cc8f43f0cc81fa47e7933194;hb=65ba9df14e3a74b78689aa9e504d9d45f9cd35ac;hp=3a6c1bcec1d0c6b44c47722c7f0a8a3f837e5000;hpb=a8d54f44df1fe4f89823f6b78364870ce51174dc;p=lilypond.git

diff --git a/Documentation/snippets/changing-the-ambitus-gap.ly b/Documentation/snippets/changing-the-ambitus-gap.ly
index 3a6c1bcec1..ade2d8e63b 100644
--- a/Documentation/snippets/changing-the-ambitus-gap.ly
+++ b/Documentation/snippets/changing-the-ambitus-gap.ly
@@ -1,26 +1,22 @@
-% Do not edit this file; it is automatically
-% generated from Documentation/snippets/new
-% This file is in the public domain.
-%% Note: this file works from version 2.13.26
-\version "2.13.31"
-\header {
-%% Translation of GIT committish: 31097723b2b816696ad61696630a80ff17a39557
-  texidocfr = "L'affichage d'un @emph{ambitus} peut s'affiner pour
-  répondre à vos préférences en matière d'esthétique.
-"
-
-  doctitlefr = "Réglage de l'affichage d'un ambitus"
-
+%% DO NOT EDIT this file manually; it is automatically
+%% generated from LSR http://lsr.di.unimi.it
+%% Make any changes in LSR itself, or in Documentation/snippets/new/ ,
+%% and then run scripts/auxiliar/makelsr.py
+%%
+%% This file is in the public domain.
+\version "2.18.0"
 
+\header {
   lsrtags = "pitches"
-  texidoc = "It is possible to change the default gap setting for
-ambitus."
 
+  texidoc = "
+It is possible to change the default gap between the ambitus noteheads
+and the line joining them.
+
+"
   doctitle = "Changing the ambitus gap"
 } % begin verbatim
 
-
-
 \layout {
   \context {
     \Voice
@@ -36,18 +32,18 @@ ambitus."
 
 \new Staff {
   \time 2/4
-  \override AmbitusLine #'gap = #0
+  \override AmbitusLine.gap = #0
   c'4 g''
 }
 
 \new Staff {
   \time 2/4
-  \override AmbitusLine #'gap = #1
+  \override AmbitusLine.gap = #1
   c'4 g''
 }
 
 \new Staff {
   \time 2/4
-  \override AmbitusLine #'gap = #1.5
+  \override AmbitusLine.gap = #1.5
   c'4 g''
 }