diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-01-20 11:01:30 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-01-20 11:01:30 +0000 |
commit | 7b16d3b1d6a8cb9b23b012e4527ee5d9e061aa04 (patch) | |
tree | c3765a705ff191a5f3ae7e367c4c7bb73ef2d083 /Build/source/texk/web2c/vptovf.ch | |
parent | 822e7e612de859b23a6aa03e2ce575696afd84c6 (diff) |
TeX & Co: New versions from Knuth (TeX tuneup of 2014)
git-svn-id: svn://tug.org/texlive/trunk@32727 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/vptovf.ch')
-rw-r--r-- | Build/source/texk/web2c/vptovf.ch | 33 |
1 files changed, 2 insertions, 31 deletions
diff --git a/Build/source/texk/web2c/vptovf.ch b/Build/source/texk/web2c/vptovf.ch index 7c3c4abffb0..bbfa6e4d2a4 100644 --- a/Build/source/texk/web2c/vptovf.ch +++ b/Build/source/texk/web2c/vptovf.ch @@ -9,10 +9,10 @@ @z @x [1] Define my_name -@d banner=='This is VPtoVF, Version 1.5' {printed when the program starts} +@d banner=='This is VPtoVF, Version 1.6' {printed when the program starts} @y @d my_name=='vptovf' -@d banner=='This is VPtoVF, Version 1.5' {printed when the program starts} +@d banner=='This is VPtoVF, Version 1.6' {printed when the program starts} @z @x [2] Print the banner later. @@ -89,35 +89,6 @@ rewritebin (tfm_file, tfm_name); @d first_ord=0 {ordinal number of the smallest element of |char|} @z -@x [34] (fill_buffer) end-of-line counts as a delimiter. Possibly a bug. -else begin while (limit<buf_size-1)and(not eoln(vpl_file)) do - begin incr(limit); read(vpl_file,buffer[limit]); - end; - buffer[limit+1]:=' '; right_ln:=eoln(vpl_file); -@y -else begin while (limit<buf_size-2)and(not eoln(vpl_file)) do - begin incr(limit); read(vpl_file,buffer[limit]); - end; - buffer[limit+1]:=' '; right_ln:=eoln(vpl_file); - if right_ln then begin incr(limit); buffer[limit+1]:=' '; - end; -@z - -@x [37] (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 [73] Interpret '--' as '+', not '-'. - begin cur_char:=" "; negative:=true; -@y - begin cur_char:=" "; negative:=not negative; -@z - % [89] `index' is not a good choice for an identifier on Unix systems. % Neither is `class', on AIX. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |