diff options
author | Karl Berry <karl@freefriends.org> | 2008-07-05 00:27:12 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-07-05 00:27:12 +0000 |
commit | f57e0777e744d6301293e19c969c8155215087ea (patch) | |
tree | 077ec67fc7437240ad6ba2dcb6f9c0b16f6e6145 /Master/texmf-dist/fonts/source | |
parent | 00ced70ffb05fb5ae5ce19c49b7c576f4b5331c8 (diff) |
ogham update; also minimize no-install and mktextfm output
git-svn-id: svn://tug.org/texlive/trunk@9259 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts/source')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/ogham/ogham.mf | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/Master/texmf-dist/fonts/source/public/ogham/ogham.mf b/Master/texmf-dist/fonts/source/public/ogham/ogham.mf index 5c8fd154d62..fe4f7995baf 100644 --- a/Master/texmf-dist/fonts/source/public/ogham/ogham.mf +++ b/Master/texmf-dist/fonts/source/public/ogham/ogham.mf @@ -21,17 +21,20 @@ % Each character is given in lower case (as carved on vertical edges) % and upper case (as carved on horizontal edges). % -mg:=1.0; % CHANGE THIS TO GET DIFFERENT SIZES OF FONT (font size = 10*mg pt) +mg#:=.4pt#; % a unit length, not a magnification. mode_setup; -pensize#:=mg*0.5pt; -bigpensize#:=mg*1pt; -height#:=mg*15pt#; -bigheight#:=mg*20pt#; -define_pixels(height); - -def getpen = pickup pencircle scaled pensize# enddef; -def getbigpen = pickup pencircle scaled bigpensize# enddef; +font_size 10pt#; + +pensize#:=1.25*mg#; +bigpensize#:=2.0*mg#; +height#:=15pt#; +bigheight#:=20pt#; +define_pixels(mg); +define_blacker_pixels(pensize,bigpensize); + +def getpen = pickup pencircle scaled pensize enddef; +def getbigpen = pickup pencircle scaled bigpensize enddef; def top = getbigpen; |