From 2db67a814a8554fba32a7d023813de0b1a614faf Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Thu, 14 Feb 2008 17:16:50 +0000 Subject: 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 --- Build/source/texk/web2c/tex.ch | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'Build/source/texk/web2c/tex.ch') 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. -- cgit v1.2.3