diff options
Diffstat (limited to 'Build/source/texk/web2c/uptexdir/uptftopl.ch')
-rw-r--r-- | Build/source/texk/web2c/uptexdir/uptftopl.ch | 16 |
1 files changed, 2 insertions, 14 deletions
diff --git a/Build/source/texk/web2c/uptexdir/uptftopl.ch b/Build/source/texk/web2c/uptexdir/uptftopl.ch index 39f691dc628..5a57f416d8a 100644 --- a/Build/source/texk/web2c/uptexdir/uptftopl.ch +++ b/Build/source/texk/web2c/uptexdir/uptftopl.ch @@ -1,30 +1,18 @@ @x +@d my_name=='ptftopl' @d banner=='This is pTFtoPL, Version 3.2-p1.7' @y +@d my_name=='uptftopl' @d banner=='This is upTFtoPL, Version 3.2-p1.7-u1.10' @z @x - usage ('ptftopl'); -@y - usage ('uptftopl'); -@z - -@x usage_help (PTFTOPL_HELP, nil); @y usage_help (UPTFTOPL_HELP, nil); @z @x - print_ln ('ptftopl: Need one or two file arguments.'); - usage ('ptftopl'); -@y - print_ln ('uptftopl: Need one or two file arguments.'); - usage ('uptftopl'); -@z - -@x @d max_kanji=7237 {number of the kanji characters - 1} @y @d max_kanji=65535 {number of the kanji characters - 1} |