diff options
Diffstat (limited to 'Build/source/texk/web2c/uptexdir/uppltotf.ch')
-rw-r--r-- | Build/source/texk/web2c/uptexdir/uppltotf.ch | 16 |
1 files changed, 2 insertions, 14 deletions
diff --git a/Build/source/texk/web2c/uptexdir/uppltotf.ch b/Build/source/texk/web2c/uptexdir/uppltotf.ch index c5cacc9d0d9..77fd8e3d118 100644 --- a/Build/source/texk/web2c/uptexdir/uppltotf.ch +++ b/Build/source/texk/web2c/uptexdir/uppltotf.ch @@ -1,30 +1,18 @@ @x +@d my_name=='ppltotf' @d banner=='This is pPLtoTF, Version 3.5-p1.8' @y +@d my_name=='uppltotf' @d banner=='This is upPLtoTF, Version 3.5-p1.8-u1.10' @z @x - usage ('ppltotf'); -@y - usage ('uppltotf'); -@z - -@x usage_help (PPLTOTF_HELP, nil); @y usage_help (UPPLTOTF_HELP, nil); @z @x - write_ln (stderr, 'ppltotf: Need one or two file arguments.'); - usage ('ppltotf'); -@y - write_ln (stderr, 'uppltotf: Need one or two file arguments.'); - usage ('uppltotf'); -@z - -@x max_kanji=7237; { maximam number of 2byte characters } @y max_kanji=65535; { maximam number of 2byte characters } |