diff options
Diffstat (limited to 'Build/source/texk/web2c/tex.ch')
-rw-r--r-- | Build/source/texk/web2c/tex.ch | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Build/source/texk/web2c/tex.ch b/Build/source/texk/web2c/tex.ch index 35177021bef..1a0b98277e1 100644 --- a/Build/source/texk/web2c/tex.ch +++ b/Build/source/texk/web2c/tex.ch @@ -836,12 +836,6 @@ end; if src_specials_p then begin wterm_ln(' Source specials enabled.') end; -if file_line_error_style_p then begin - wterm_ln(' file:line:error style messages enabled.') -end; -if parse_first_line_p then begin - wterm_ln(' %&-line parsing enabled.') -end; if translate_filename then begin wterm(' ('); fputs(translate_filename, stdout); |