summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/dvitomp.ch
diff options
context:
space:
mode:
authorTaco Hoekwater <taco@elvenkind.com>2006-11-28 13:24:53 +0000
committerTaco Hoekwater <taco@elvenkind.com>2006-11-28 13:24:53 +0000
commit2316028a0dedb2fa848c9e3bacaad4580dcc4290 (patch)
tree750b5fe86da1917f5482b7d0e643e77a3b31594e /Build/source/texk/web2c/dvitomp.ch
parentc8a7170337d602789e93f5b765c5b9c06f50b0d7 (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.ch8
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;