diff options
Diffstat (limited to 'Build/source/texk/web2c/pltotf.ch')
-rw-r--r-- | Build/source/texk/web2c/pltotf.ch | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/pltotf.ch b/Build/source/texk/web2c/pltotf.ch index c75a73ddb97..100c74248b1 100644 --- a/Build/source/texk/web2c/pltotf.ch +++ b/Build/source/texk/web2c/pltotf.ch @@ -112,6 +112,12 @@ begin while loc=limit do fill_buffer; begin cur_char:=xord[buffer[loc+1]]; @z +@x [63] Interpret '--' as '+', not '-'. + begin cur_char:=" "; negative:=true; +@y + begin cur_char:=" "; negative:=not negative; +@z + @x [79] `index' might be a library routine. |k|th element of its list. @y |