diff options
| author | Karl Berry <karl@freefriends.org> | 2017-03-14 21:51:16 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2017-03-14 21:51:16 +0000 |
| commit | d1c70ab27326385145a9d77d021834269f4d81a2 (patch) | |
| tree | cd37e28c210ecb160f786e2cfea06eac3a43d060 /Master/texmf-dist/fonts/source/public/fetamont/ffmh10.mf | |
| parent | 9cb26f3d0d652229032965f48c2a15afe0d52371 (diff) | |
fetamont (14mar17)
git-svn-id: svn://tug.org/texlive/trunk@43496 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/fetamont/ffmh10.mf')
| -rw-r--r-- | Master/texmf-dist/fonts/source/public/fetamont/ffmh10.mf | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/fetamont/ffmh10.mf b/Master/texmf-dist/fonts/source/public/fetamont/ffmh10.mf index 93e1625e0c2..ffb72bdbeac 100644 --- a/Master/texmf-dist/fonts/source/public/fetamont/ffmh10.mf +++ b/Master/texmf-dist/fonts/source/public/fetamont/ffmh10.mf @@ -1,4 +1,12 @@ % Fetamont parameters (heavy, 10pt) +if base_name="mf2outline": + font_name "Fetamont-Heavy"; + font_fullname "Fetamont Heavy"; + font_familyname "Fetamont"; + font_os_weight 800; + font_os_width 5; + font_range(9.5,72,7); +fi font_identifier:="FFMH"; font_size 10pt#; % the "design size" of this font ht#:=6pt#; % height of characters |