diff options
Diffstat (limited to 'Build/source/texk/web2c/mft.ch')
-rw-r--r-- | Build/source/texk/web2c/mft.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/mft.ch b/Build/source/texk/web2c/mft.ch index ed18c7391f9..8213bd31543 100644 --- a/Build/source/texk/web2c/mft.ch +++ b/Build/source/texk/web2c/mft.ch @@ -226,7 +226,7 @@ and exits back to the operating system. @<Error handling...@>= procedure jump_out; begin -@t\4\4@>{here files should be closed if the operating system requires it} +{here files should be closed if the operating system requires it} @<Print the job |history|@>; new_line; if (history <> spotless) and (history <> harmless_message) then |