remove font-magnification property definition

diff --git a/scm/define-grob-properties.scm b/scm/define-grob-properties.scm
index 5be6e4885323c1c29fac320926acc3775b3faa9c..dddcef9aeec4dd276a1cf0eca9eab0e134fbebde 100644 (file)
--- a/scm/define-grob-properties.scm
+++ b/scm/define-grob-properties.scm
@@ -161,8 +161,6 @@ category for selecting a font. Options include: @code{fetaMusic},
      (font-name ,string? "Specifies a file name (without extension) of
 the font to load.  This setting override selection using
 @code{font-family}, @code{font-series} and @code{font-shape}.")
-     (font-magnification ,number? "Magnification of the font, when it
-is selected with @code{font-name}.")
      (font-size ,number? "The font size, compared the `normal'
 size.  0 is style-sheet's normal size, -1 is smaller, +1 is bigger.
 Each step of 1 is approximately 12% larger, 6 steps are exactly a