Doc: fix calculation of global-staff-size in points (3114)

diff --git a/Documentation/notation/text.itely b/Documentation/notation/text.itely
index 6a33b69084083a87a31230beb4db4f32727fa9af..dd7126585081b4911fd0b9c60f47ba5f907186a6 100644 (file)
--- a/Documentation/notation/text.itely
+++ b/Documentation/notation/text.itely
@@ -1516,7 +1516,7 @@ size.  For an explanation of fonts, see @ref{Fonts explained}.
     (make-pango-font-tree "Times New Roman"
                           "Nimbus Sans"
                           "Luxi Mono"
-                           (/ (* staff-height pt) 2)))
+                          (/ staff-height pt 20)))
 }
 
 \relative c'{