diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/knuth-lib/grayf.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/knuth-lib/grayf.mf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/fonts/source/public/knuth-lib/grayf.mf b/Master/texmf-dist/fonts/source/public/knuth-lib/grayf.mf index 1a34e18fd1b..7765ebd8120 100644 --- a/Master/texmf-dist/fonts/source/public/knuth-lib/grayf.mf +++ b/Master/texmf-dist/fonts/source/public/knuth-lib/grayf.mf @@ -10,7 +10,7 @@ forsuffixes m = mag,rep: mg := mag; mag := 1; mode_setup; if mg>1: hppp := hppp*mg; vppp := vppp*mg; extra_endchar:= - "if charcode>0:currentpicture:=currentpicture scaled mg;fi" + "if charcode>0:currentpicture:=currentpicture scaled mg;fi;" & extra_endchar; fi; if picture pix_picture: rep := 1; |