X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=Documentation%2Fsnippets%2Fcoloring-notes-depending-on-their-pitch.ly;h=56ec712ecfb4316e609df392c9183b37f6bc8e06;hb=f22c889b1389cb7d761580762fe77973780f2f86;hp=062dcea41296ca36d3d24b91ce2634bb416e3136;hpb=2d52187d5492ce7492c78fc8f1dca4aa7b702ba0;p=lilypond.git

diff --git a/Documentation/snippets/coloring-notes-depending-on-their-pitch.ly b/Documentation/snippets/coloring-notes-depending-on-their-pitch.ly
index 062dcea412..56ec712ecf 100644
--- a/Documentation/snippets/coloring-notes-depending-on-their-pitch.ly
+++ b/Documentation/snippets/coloring-notes-depending-on-their-pitch.ly
@@ -7,16 +7,7 @@
 \version "2.14.2"
 
 \header {
-  lsrtags = "pitches, really-cool, editorial-annotations"
-
-%% Translation of GIT committish: 1cda7b7b8219cb97399b8e7b56c1115aaf82c002
-  texidocfr = "
-Les têtes de note peuvent adopter une couleur différenete selon leur
-hauteur ou leur nom : la fonction utilisée ici fait même la distinction
-entre enharmoniques.
-
-"
-  doctitlefr = "Coloration des notes selon leur hauteur"
+  lsrtags = "really-cool, pitches, editorial-annotations"
 
   texidoc = "
 It is possible to color note heads depending on their pitch and/or
@@ -68,4 +59,3 @@ to distinguish enharmonics.
     c8 b d dis ees f g aes
   }
 }
-