Build: end directories in their bare names and avoid some double slashes in logs.

[lilypond.git] / Documentation / snippets / changing-the-staff-size.ly

diff --git a/Documentation/snippets/changing-the-staff-size.ly b/Documentation/snippets/changing-the-staff-size.ly
index ef6dde44136acc4e4ee5d381b220fe5f3309c12a..5b2dc06ad56127292c995ccfab3bb878a262abaa 100644 (file)
--- a/Documentation/snippets/changing-the-staff-size.ly
+++ b/Documentation/snippets/changing-the-staff-size.ly
@@ -1,7 +1,7 @@
 %% Do not edit this file; it is automatically
 %% generated from LSR http://lsr.dsi.unimi.it
 %% This file is in the public domain.
-\version "2.13.4"
+\version "2.12.2"
 
 \header {
   lsrtags = "staff-notation, tweaks-and-overrides, paper-and-layout"