diff options
author | Karl Berry <karl@freefriends.org> | 2008-03-22 23:51:34 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-03-22 23:51:34 +0000 |
commit | 8e3fcfa2798288409645156993f445737ca8266c (patch) | |
tree | 38cce6195ca39f1465f6f817cd8cff84d01609d5 /Build/source/texk/web2c/tex.ch | |
parent | 5fc57d735ff0b4b36c8e52c697fd8d6a34f0fb38 (diff) |
conditional prompt_file_name_help_msg
git-svn-id: svn://tug.org/texlive/trunk@7090 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/tex.ch')
-rw-r--r-- | Build/source/texk/web2c/tex.ch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/tex.ch b/Build/source/texk/web2c/tex.ch index 56ed3aa4a8a..c9dd995edc6 100644 --- a/Build/source/texk/web2c/tex.ch +++ b/Build/source/texk/web2c/tex.ch @@ -2279,10 +2279,10 @@ 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("(Type <return> to retry, or <eof> to exit"); +print_ln; fputs(prompt_file_name_help_msg, stdout); if (e<>"") then begin - print(" Default file extension is `"); print(e); print("'"); + print("; default file extension is `"); print(e); print("'"); end; print(")"); print_ln; @z |