summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/ptexdir/ptftopl.ch
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/ptftopl.ch')
-rw-r--r--Build/source/texk/web2c/ptexdir/ptftopl.ch7
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