diff options
Diffstat (limited to 'Build/source/texk/web2c/dvitomp.ch')
| -rw-r--r-- | Build/source/texk/web2c/dvitomp.ch | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/dvitomp.ch b/Build/source/texk/web2c/dvitomp.ch index c30adbbaeca..ca7eac60830 100644 --- a/Build/source/texk/web2c/dvitomp.ch +++ b/Build/source/texk/web2c/dvitomp.ch @@ -26,12 +26,12 @@ @z @x [1] Duplicate banner line for use in |print_version_and_exit|. -@d banner=='% Written by DVItoMP, Version 0.992' +@d banner=='% Written by DVItoMP, Version 1.002' {the first line of the output file} @y -@d banner=='% Written by DVItoMP, Version 0.992/color' +@d banner=='% Written by DVItoMP, Version 1.002/color' {the first line of the output file} -@d term_banner=='This is DVItoMP, Version 0.992/color' +@d term_banner=='This is DVItoMP, Version 1.002/color' {the same in the usual format, as it would be shown on a terminal} @z @@ -442,7 +442,7 @@ begin usage_help (DVITOMP_HELP, nil); end else if argument_is ('version') then begin - print_version_and_exit (term_banner, 'AT&T Bell Laboraties', 'John Hobby.', nil); + print_version_and_exit (term_banner, 'AT&T Bell Laboraties', 'John Hobby.'); end; {Else it was a flag; |getopt| has already done the assignment.} until getopt_return_val = -1; |