diff options
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/ptftopl.ch')
-rw-r--r-- | Build/source/texk/web2c/ptexdir/ptftopl.ch | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ptexdir/ptftopl.ch b/Build/source/texk/web2c/ptexdir/ptftopl.ch index 4583d08a736..f5bd13a1a54 100644 --- a/Build/source/texk/web2c/ptexdir/ptftopl.ch +++ b/Build/source/texk/web2c/ptexdir/ptftopl.ch @@ -369,6 +369,13 @@ begin @<Initialize the option variables@>; version_switch := false; @z + +@x + usage ('tftopl'); +@y + usage ('ptftopl'); +@z + @x usage_help (TFTOPL_HELP, nil); @y |