diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/fetamont/ffmc10.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/fetamont/ffmc10.mf | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/fetamont/ffmc10.mf b/Master/texmf-dist/fonts/source/public/fetamont/ffmc10.mf index 5d91fd9b7bf..1b22cada7e0 100644 --- a/Master/texmf-dist/fonts/source/public/fetamont/ffmc10.mf +++ b/Master/texmf-dist/fonts/source/public/fetamont/ffmc10.mf @@ -1,4 +1,11 @@ % Fetamont parameters (condensed, 10pt) +if base_name="mf2outline": + font_name "Fetamont-Condensed"; + font_fullname "Fetamont Condensed"; + font_familyname "Fetamont"; + font_os_weight 400; + font_os_width 3; +fi font_identifier:="FFMC"; font_size 10pt#; % the "design size" of this font ht#:=6pt#; % height of characters |