diff options
author | Karl Berry <karl@freefriends.org> | 2008-02-14 17:16:50 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-02-14 17:16:50 +0000 |
commit | 2db67a814a8554fba32a7d023813de0b1a614faf (patch) | |
tree | 9ff1b5434a27c5073e7b8c54d0be52bff2abe31d | |
parent | b5069ed17316fecf478a5582cfe66344834faa6b (diff) |
more make_name_string changes from Jonathan, 12 Feb 2008 14:33:56
git-svn-id: svn://tug.org/texlive/trunk@6629 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r-- | Build/source/texk/web2c/ChangeLog | 3 | ||||
-rw-r--r-- | Build/source/texk/web2c/tex.ch | 7 |
2 files changed, 8 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog index ebb450f313d..12d22da1b60 100644 --- a/Build/source/texk/web2c/ChangeLog +++ b/Build/source/texk/web2c/ChangeLog @@ -2,6 +2,9 @@ * tex.ch (max_font_max): increase to 5000. Taco mail to tex-live, 13 Feb 2008 10:00:35. + + * tex.ch (make_name_string): further change from + Jonathan, tex-implementors 12 Feb 2008 14:33:56. 2008-02-11 Karl Berry <karl@tug.org> diff --git a/Build/source/texk/web2c/tex.ch b/Build/source/texk/web2c/tex.ch index a599963ec8f..56ed3aa4a8a 100644 --- a/Build/source/texk/web2c/tex.ch +++ b/Build/source/texk/web2c/tex.ch @@ -2239,18 +2239,21 @@ begin if (pool_ptr+name_length>pool_size)or(str_ptr=max_strings)or make_name_string:="?" else begin for k:=1 to name_length do append_char(xord[name_of_file[k]]); make_name_string:=make_string; - end; {At this point we also set |cur_name|, |cur_ext|, and |cur_area| to match the contents of |name_of_file|.} save_area_delimiter:=area_delimiter; save_ext_delimiter:=ext_delimiter; save_name_in_progress:=name_in_progress; save_stop_at_space:=stop_at_space; name_in_progress:=true; + begin_name; stop_at_space:=false; + k:=1; while (k<=name_length)and(more_name(name_of_file[k])) do - begin incr(k); append_char(xord[name_of_file[k]]); end; + incr(k); stop_at_space:=save_stop_at_space; + end_name; name_in_progress:=save_name_in_progress; area_delimiter:=save_area_delimiter; ext_delimiter:=save_ext_delimiter; + end; @z @x [29.526] l.10194 - stop scanning file name if we're at end-of-line. |