diff options
author | Karl Berry <karl@freefriends.org> | 2014-09-20 22:21:13 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-09-20 22:21:13 +0000 |
commit | c07e5a280f52071859d7adf4f9b84ecd9eeaead2 (patch) | |
tree | 8f65d828b13c6932d7288911e99c3f5a2596e40e /Master/texmf-dist/fonts/source | |
parent | 39b40cb67bf8b52f7a7954646eeff86fc9307bed (diff) |
drm (20sep14)
git-svn-id: svn://tug.org/texlive/trunk@35217 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts/source')
26 files changed, 39 insertions, 25 deletions
diff --git a/Master/texmf-dist/fonts/source/public/drm/drmitbx10.mf b/Master/texmf-dist/fonts/source/public/drm/drmitbx10.mf index 9e9f85f920e..0d8d3b26970 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmitbx10.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmitbx10.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.3pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant := 1/3; font_slant slant; font_normal_space 0.5u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmitbx11.mf b/Master/texmf-dist/fonts/source/public/drm/drmitbx11.mf index ce77fefab16..5c58aeebc4c 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmitbx11.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmitbx11.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 1/3; font_slant slant; font_normal_space 0.5u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmitbx12.mf b/Master/texmf-dist/fonts/source/public/drm/drmitbx12.mf index 3d92a430662..78f04b58665 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmitbx12.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmitbx12.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 1/3; font_slant slant; font_normal_space 0.5u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmitbx14.mf b/Master/texmf-dist/fonts/source/public/drm/drmitbx14.mf index 4de08fc8088..3f80a4f5ede 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmitbx14.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmitbx14.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 1/3; font_slant slant; font_normal_space 0.5u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmitbx17.mf b/Master/texmf-dist/fonts/source/public/drm/drmitbx17.mf index c0861aeb7cc..f3bf24b3487 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmitbx17.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmitbx17.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 1/3; font_slant slant; font_normal_space 0.5u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmitbx24.mf b/Master/texmf-dist/fonts/source/public/drm/drmitbx24.mf index 6f0678bf767..8fa709ee298 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmitbx24.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmitbx24.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 1/3; font_slant slant; font_normal_space 0.5u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmitbx6.mf b/Master/texmf-dist/fonts/source/public/drm/drmitbx6.mf index 358a129bcea..e6aaf941f72 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmitbx6.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmitbx6.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 1/3; font_slant slant; font_normal_space 0.7u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmitbx7.mf b/Master/texmf-dist/fonts/source/public/drm/drmitbx7.mf index 32d33371893..736b75e9649 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmitbx7.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmitbx7.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 1/3; font_slant slant; font_normal_space 0.5u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmitbx8.mf b/Master/texmf-dist/fonts/source/public/drm/drmitbx8.mf index c9ac0974e40..521802e9614 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmitbx8.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmitbx8.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 1/3; font_slant slant; font_normal_space 0.7u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmitbx9.mf b/Master/texmf-dist/fonts/source/public/drm/drmitbx9.mf index 8a901962b32..1bec91c638f 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmitbx9.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmitbx9.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 1/3; font_slant slant; font_normal_space 0.5u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmitligs.mf b/Master/texmf-dist/fonts/source/public/drm/drmitligs.mf index 51d0fd8f0cb..024a8d0fac3 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmitligs.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmitligs.mf @@ -12,6 +12,8 @@ ligtable "`" : "`" =: oct"020"; ligtable "'" : "'" =: oct"021"; ligtable "?" : "`" =: oct"276"; ligtable "!" : "`" =: oct"275"; +ligtable ">" : ">" =: oct"024"; +ligtable "<" : "<" =: oct"023"; ligtable "A" : oct"200" : oct "201" : oct"300" : oct"301" : oct"302" : oct"303" : oct"304" : oct"305" : diff --git a/Master/texmf-dist/fonts/source/public/drm/drmitoldstydigs.mf b/Master/texmf-dist/fonts/source/public/drm/drmitoldstydigs.mf index 5fe086cf2cf..887ca95e446 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmitoldstydigs.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmitoldstydigs.mf @@ -201,7 +201,7 @@ penstroke z0e..z1e..z2e; penlabels(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51); endchar; -beginchar("9",0.9ex#+2ss#,cap#,0); "The digit 9"; +beginchar("9",digwid#+2ss#,cap#,0); "The digit 9"; italcorr(ex#*slant); penpos0(thinl,90); @@ -280,7 +280,7 @@ z0e{right}..{down}z1e{down}..z6e..{down}z2e{down}..{right}z5e{right}..{up}z4e{up penlabels(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51); endchar; -beginchar("0",0.9ex#+2ss#,ex#,0); "The digit 0"; +beginchar("0",0.9digwid#+2ss#,ex#,0); "The digit 0"; italcorr(ex#*slant); penpos0(thinl,90); diff --git a/Master/texmf-dist/fonts/source/public/drm/drmligs.mf b/Master/texmf-dist/fonts/source/public/drm/drmligs.mf index a6dfef9e493..f3191e7e9ef 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmligs.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmligs.mf @@ -11,6 +11,8 @@ ligtable "`" : "`" =: oct"020"; ligtable "'" : "'" =: oct"021"; ligtable "?" : "`" =: oct"276"; ligtable "!" : "`" =: oct"275"; +ligtable ">" : ">" =: oct"024"; +ligtable "<" : "<" =: oct"023"; ligtable "A" : oct"200" : oct "201" : oct"300" : oct"301" : oct"302" : oct"303" : oct"304" : oct"305" : "C" kern-0.1u#, @@ -152,7 +154,8 @@ ligtable "c" : oct"242" : oct"243" : oct"347" : "g" kern 0.1u#,"o" kern 0.1u#,"x" kern -0.1u#, "s" kern 0.1u#,"a" kern 0.1u#; ligtable "d" : oct"244" : oct"236" : "v" kern -0.1u#, - "y" kern-0.2u#,"i" kern-0.1u#,"u" kern-0.05u#; + "y" kern-0.2u#,"i" kern-0.1u#,"u" kern-0.05u#, + "t" kern-0.1u#; ligtable "p" : "e" kern 0.05u#,"d" kern 0.05u#,"e" kern 0.05u#, "g" kern 0.05u#,"o" kern 0.05u#,"x" kern -0.1u#, "s" kern 0.1u#,"c" kern 0.05u#,"a" kern 0.1u#, @@ -199,7 +202,10 @@ ligtable "j" : "a" kern 0.1u#,"b" kern 0.1u#,"c" kern 0.1u#, "v" kern 0.1u#,"w" kern 0.1u#,"x" kern 0.1u#, "y" kern 0.1u#,"z" kern 0.1u#; ligtable "k" : "c" kern -0.1u#,"d" kern -0.1u#, - "e" kern -0.1u#,"o" kern -0.1u#,"q" kern -0.1u#; + "e" kern -0.1u#,"o" kern -0.1u#,"q" kern -0.1u#, + "k" kern -0.1u#,"l" kern-0.1u#,"m" kern-0.1u#, + "t" kern-0.1u#,"u" kern-0.1u#,"v" kern-0.1u#, + "w" kern-0.1u#,"y" kern-0.1u#; ligtable "l" : oct"250" : oct"251" : oct"252" : "l" kern -0.05u#,"y" kern-0.2u#, "i" kern-0.05u#,"d" kern-0.05u#; @@ -221,7 +227,7 @@ ligtable "t" : oct"040" : oct"264" : oct"265" : "y" kern-0.05u#; ligtable "u" : oct"371" : oct"372" : oct"373" : oct"374" : oct"266" : oct"267" : "n" kern -0.1u#,"t" kern -0.05u#, - "p" kern-0.05u#; + "p" kern-0.05u#, "h" kern-0.1u#; ligtable "v" : "e" kern -0.1u#,"o" kern-0.1u#; ligtable "w" : "e" kern -0.1u#,"a" kern-0.05u#, "o" kern-0.1u#,"q" kern-0.1u#,"c" kern-.1u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmscligs.mf b/Master/texmf-dist/fonts/source/public/drm/drmscligs.mf index d1755a36a53..e9b1e75787b 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmscligs.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmscligs.mf @@ -8,6 +8,8 @@ ligtable "`" : "`" =: oct"020"; ligtable "'" : "'" =: oct"021"; ligtable "?" : "`" =: oct"276"; ligtable "!" : "`" =: oct"275"; +ligtable ">" : ">" =: oct"024"; +ligtable "<" : "<" =: oct"023"; ligtable "A" : oct"200" : oct"201" : oct"300" : oct"301" : oct"302" : oct"303" : oct"304" : oct"305" : "C" kern-0.1u#, diff --git a/Master/texmf-dist/fonts/source/public/drm/drmtcligs.mf b/Master/texmf-dist/fonts/source/public/drm/drmtcligs.mf index 4a0db49553a..8ed985ea763 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmtcligs.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmtcligs.mf @@ -8,6 +8,8 @@ ligtable "`" : "`" =: oct"020"; ligtable "'" : "'" =: oct"021"; ligtable "?" : "`" =: oct"276"; ligtable "!" : "`" =: oct"275"; +ligtable ">" : ">" =: oct"024"; +ligtable "<" : "<" =: oct"023"; ligtable "A" : oct"200" : oct"201" : oct"300" : oct"301" : oct"302" : oct"303" : oct"304" : oct"305" : "C" kern-0.1u#, diff --git a/Master/texmf-dist/fonts/source/public/drm/drmuibx10.mf b/Master/texmf-dist/fonts/source/public/drm/drmuibx10.mf index 22499b4416a..7c10ebea515 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmuibx10.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmuibx10.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.3pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant := 0; font_slant slant; font_normal_space 0.5u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmuibx11.mf b/Master/texmf-dist/fonts/source/public/drm/drmuibx11.mf index e240115aa2d..0b65a9831a2 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmuibx11.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmuibx11.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 0; font_slant slant; font_normal_space 0.5u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmuibx12.mf b/Master/texmf-dist/fonts/source/public/drm/drmuibx12.mf index 68b942ec481..bb5c9e2fa78 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmuibx12.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmuibx12.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 0; font_slant slant; font_normal_space 0.5u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmuibx14.mf b/Master/texmf-dist/fonts/source/public/drm/drmuibx14.mf index 2b75b6465ee..618d27636e1 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmuibx14.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmuibx14.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 0; font_slant slant; font_normal_space 0.5u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmuibx17.mf b/Master/texmf-dist/fonts/source/public/drm/drmuibx17.mf index 2c0e8bb5bec..e524343058e 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmuibx17.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmuibx17.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 0; font_slant slant; font_normal_space 0.5u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmuibx24.mf b/Master/texmf-dist/fonts/source/public/drm/drmuibx24.mf index 8e4ceefa341..dd549a650ad 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmuibx24.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmuibx24.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 0; font_slant slant; font_normal_space 0.5u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmuibx6.mf b/Master/texmf-dist/fonts/source/public/drm/drmuibx6.mf index 0ecb0a9995e..d8613481ce1 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmuibx6.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmuibx6.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 0; font_slant slant; font_normal_space 0.7u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmuibx7.mf b/Master/texmf-dist/fonts/source/public/drm/drmuibx7.mf index 82dba026c49..d6d1ad3470c 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmuibx7.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmuibx7.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 0; font_slant slant; font_normal_space 0.5u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmuibx8.mf b/Master/texmf-dist/fonts/source/public/drm/drmuibx8.mf index 1620f3246d6..397e5bb9461 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmuibx8.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmuibx8.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 0; font_slant slant; font_normal_space 0.7u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmuibx9.mf b/Master/texmf-dist/fonts/source/public/drm/drmuibx9.mf index 23c91bb57fd..c57fe26e46e 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmuibx9.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmuibx9.mf @@ -15,7 +15,7 @@ exw# = 1.1ex#; define_pixels(exw); dep#=cap#/3; ss#=0.25pt#; asch#=12cap#/12; -digwid#=1ex#; +digwid#=1.2ex#; slant = 0; font_slant slant; font_normal_space 0.5u#; diff --git a/Master/texmf-dist/fonts/source/public/drm/drmuiligs.mf b/Master/texmf-dist/fonts/source/public/drm/drmuiligs.mf index f9baa3c0ec2..ccd6bb4dbda 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmuiligs.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmuiligs.mf @@ -12,6 +12,8 @@ ligtable "`" : "`" =: oct"020"; ligtable "'" : "'" =: oct"021"; ligtable "?" : "`" =: oct"276"; ligtable "!" : "`" =: oct"275"; +ligtable ">" : ">" =: oct"024"; +ligtable "<" : "<" =: oct"023"; ligtable "A" : oct"200" : oct "201" : oct"300" : oct"301" : oct"302" : oct"303" : oct"304" : oct"305" : |