diff options
author | Taco Hoekwater <taco@elvenkind.com> | 2006-11-28 13:24:53 +0000 |
---|---|---|
committer | Taco Hoekwater <taco@elvenkind.com> | 2006-11-28 13:24:53 +0000 |
commit | 2316028a0dedb2fa848c9e3bacaad4580dcc4290 (patch) | |
tree | 750b5fe86da1917f5482b7d0e643e77a3b31594e /Build/source/texk/web2c/dvitomp.ch | |
parent | c8a7170337d602789e93f5b765c5b9c06f50b0d7 (diff) |
MetaPost 0.992 plus support files
git-svn-id: svn://tug.org/texlive/trunk@2554 c570f23f-e606-0410-a88d-b1316a301751
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 99e2127f9e2..65ae6e931d7 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.99' +@d banner=='% Written by DVItoMP, Version 0.992' {the first line of the output file} @y -@d banner=='% Written by DVItoMP, Version 0.99/color' +@d banner=='% Written by DVItoMP, Version 0.992/color' {the first line of the output file} -@d term_banner=='This is DVItoMP, Version 0.99/color' +@d term_banner=='This is DVItoMP, Version 0.992/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'); + 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; |