%% DO NOT EDIT this file manually; it is automatically
-%% generated from LSR http://lsr.dsi.unimi.it
+%% 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.14.2"
+\version "2.18.0"
\header {
- lsrtags = "tweaks-and-overrides, text"
-
-%% Translation of GIT committish: 1cda7b7b8219cb97399b8e7b56c1115aaf82c002
- texidocfr = "
-Les familles de fontes par défaut pour le texte peuvent être changées à
-l'aide de la fonction @code{make-pango-font-tree}.
-
-"
- doctitlefr = "Changement des fontes textuelles par défaut"
+ lsrtags = "text, tweaks-and-overrides"
texidoc = "
The default font families for text can be overridden with
doctitle = "Changing the default text font family"
} % begin verbatim
-
\paper {
% change for other default global staff size.
myStaffSize = #20
#(define fonts
(make-pango-font-tree "Times New Roman"
- "Nimbus Sans"
+ "Nimbus Sans,Nimbus Sans L"
"Luxi Mono"
;; "Helvetica"
;; "Courier"
}
}
}
-
-