diff options
Diffstat (limited to 'Build/source/texk/web2c/pltotf.ch')
-rw-r--r-- | Build/source/texk/web2c/pltotf.ch | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/pltotf.ch b/Build/source/texk/web2c/pltotf.ch index de2951933e6..c75a73ddb97 100644 --- a/Build/source/texk/web2c/pltotf.ch +++ b/Build/source/texk/web2c/pltotf.ch @@ -89,6 +89,29 @@ rewritebin (tfm_file, tfm_name); @d first_ord=0 {ordinal number of the smallest element of |char|} @z +@x [28] (fill_buffer) end-of-line counts as a delimiter. Possibly a bug. +else begin while (limit<buf_size-1)and(not eoln(pl_file)) do + begin incr(limit); read(pl_file,buffer[limit]); + end; + buffer[limit+1]:=' '; right_ln:=eoln(pl_file); +@y +else begin while (limit<buf_size-2)and(not eoln(pl_file)) do + begin incr(limit); read(pl_file,buffer[limit]); + end; + buffer[limit+1]:=' '; right_ln:=eoln(pl_file); + if right_ln then begin incr(limit); buffer[limit+1]:=' '; + end; +@z + +@x [31] (get_keyword_char) Unnecessary due to previous change. +begin while (loc=limit)and(not right_ln) do fill_buffer; +if loc=limit then cur_char:=" " {end-of-line counts as a delimiter} +else begin cur_char:=xord[buffer[loc+1]]; +@y +begin while loc=limit do fill_buffer; + begin cur_char:=xord[buffer[loc+1]]; +@z + @x [79] `index' might be a library routine. |k|th element of its list. @y |