diff options
author | Karl Berry <karl@freefriends.org> | 2007-09-18 00:05:41 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-09-18 00:05:41 +0000 |
commit | 3d3ab00f37c8e6461cb95f8b4018861213ccbb46 (patch) | |
tree | b1c396a4fb6efcea72b8883acd14cdcd9c49d1e4 /Build/source/texk/web2c/tex.ch | |
parent | 0bd3fcc7f83fc42a387d3b767020eb03edef4ddf (diff) |
Type <return> instead of Enter the null string
git-svn-id: svn://tug.org/texlive/trunk@4965 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/tex.ch')
-rw-r--r-- | Build/source/texk/web2c/tex.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/tex.ch b/Build/source/texk/web2c/tex.ch index 490c481f9ae..eb4df023485 100644 --- a/Build/source/texk/web2c/tex.ch +++ b/Build/source/texk/web2c/tex.ch @@ -2218,7 +2218,7 @@ var k:0..buf_size; {index into |buffer|} if e=".tex" then show_context; @y if (e=".tex") or (e="") then show_context; -print_ln; print("(Enter the null string to re-try, or <eof> to exit"); +print_ln; print("(Type <return> to retry, or <eof> to exit"); if (e<>"") then begin print(" Default file extension is `"); print(e); print("'"); |