Doc: local makelrs

diff --git a/Documentation/snippets/alternative-bar-numbering.ly b/Documentation/snippets/alternative-bar-numbering.ly
index aead8fc5081a848e5062b47905e55fe8ffe16bd0..10725fce20add93fd16a6f933779bc28f7e648d7 100644 (file)
--- a/Documentation/snippets/alternative-bar-numbering.ly
+++ b/Documentation/snippets/alternative-bar-numbering.ly
@@ -8,6 +8,14 @@
 \version "2.15.24"
 
 \header {
+%% Translation of GIT committish:
+  texidocfr = "
+Deux méthodes alternatives vous permettent de gérer la numérotation ds
+mesures en cas de reprises.
+
+"
+  doctitlefr = "Numérotation des mesures et alternatives"
+
   lsrtags = "editorial-annotations, staff-notation, tweaks-and-overrides"
   texidoc = "Two alternative methods for bar numbering can be set,
   especially for when using repeated music."