diff options
author | Karl Berry <karl@freefriends.org> | 2014-02-03 17:54:28 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-02-03 17:54:28 +0000 |
commit | cb505c213965d3779b4ec7d9281c011fec5fb0fd (patch) | |
tree | 949d321ac8edafa281e3d56cf34d14e0ade1643d /Master/texmf-dist/fonts/source/public/mflogo | |
parent | 9c990b20d0bfa87768186c40adc05158b6ce30d0 (diff) |
knuth-local from actual dek sources; just font stuff for now, replacing what was in misc/
git-svn-id: svn://tug.org/texlive/trunk@32856 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/mflogo')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/mflogo/logod10.mf | 10 | ||||
-rw-r--r-- | Master/texmf-dist/fonts/source/public/mflogo/logosl9.mf | 3 |
2 files changed, 0 insertions, 13 deletions
diff --git a/Master/texmf-dist/fonts/source/public/mflogo/logod10.mf b/Master/texmf-dist/fonts/source/public/mflogo/logod10.mf deleted file mode 100644 index fc484a4b182..00000000000 --- a/Master/texmf-dist/fonts/source/public/mflogo/logod10.mf +++ /dev/null @@ -1,10 +0,0 @@ -% 10-point demibold METAFONT logo -font_size 10pt#; % the "design size" of this font -ht#:=6pt#; % height of characters -xgap#:=21/20*0.6pt#; % horizontal adjustment -u#:=21/20*4/9pt#; % unit width -s#:=0; % extra space at the left and the right -o#:=1/9pt#; % overshoot -px#:=.5[2/3pt#,44/36pt#]; % horizontal thickness of pen -input logo % now generate the font -bye % and stop. diff --git a/Master/texmf-dist/fonts/source/public/mflogo/logosl9.mf b/Master/texmf-dist/fonts/source/public/mflogo/logosl9.mf deleted file mode 100644 index 03b3d922884..00000000000 --- a/Master/texmf-dist/fonts/source/public/mflogo/logosl9.mf +++ /dev/null @@ -1,3 +0,0 @@ -% 9-point slanted METAFONT logo -slant := 1/4; -input logo9 |