X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=Documentation%2Fsnippets%2Fadding-extra-fingering-with-scheme.ly;h=00d00492c73ad214b374e541ead2d8dbcd5462d7;hb=f22c889b1389cb7d761580762fe77973780f2f86;hp=5fda87ea144c7f8105d65a263445f073214b8eab;hpb=2d52187d5492ce7492c78fc8f1dca4aa7b702ba0;p=lilypond.git

diff --git a/Documentation/snippets/adding-extra-fingering-with-scheme.ly b/Documentation/snippets/adding-extra-fingering-with-scheme.ly
index 5fda87ea14..00d00492c7 100644
--- a/Documentation/snippets/adding-extra-fingering-with-scheme.ly
+++ b/Documentation/snippets/adding-extra-fingering-with-scheme.ly
@@ -9,19 +9,6 @@
 \header {
   lsrtags = "scheme-language"
 
-%% Translation of GIT committish: 1cda7b7b8219cb97399b8e7b56c1115aaf82c002
-  texidocfr = "
-Il est possible, à l'aide de la fonction @code{make-music}, d'ajouter
-divers éléments à des notes.  Voici comment attacher un doigté
-supplémentaire à une note.
-
-En règle générale, réaliser préalablement un @code{display} (affichage)
-de la musique que vous souhaitez créer vous aidera à écrire la fonction
-chargée de structurer votre musique.
-
-"
-  doctitlefr = "Ajout d'un doigté supplémentaire avec scheme"
-
   texidoc = "
 You can add various stuff to notes using @code{make-music}. In this
 example, an extra fingering is attached to a note.