diff options
Diffstat (limited to 'systems/knuth/dist/lib/grayf.mf')
-rw-r--r-- | systems/knuth/dist/lib/grayf.mf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/systems/knuth/dist/lib/grayf.mf b/systems/knuth/dist/lib/grayf.mf index 1a34e18fd1..7765ebd812 100644 --- a/systems/knuth/dist/lib/grayf.mf +++ b/systems/knuth/dist/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; |