diff options
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/ptftopl.ch')
-rw-r--r-- | Build/source/texk/web2c/ptexdir/ptftopl.ch | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/Build/source/texk/web2c/ptexdir/ptftopl.ch b/Build/source/texk/web2c/ptexdir/ptftopl.ch index 0aeb371f5a5..d8d1a9789d5 100644 --- a/Build/source/texk/web2c/ptexdir/ptftopl.ch +++ b/Build/source/texk/web2c/ptexdir/ptftopl.ch @@ -379,16 +379,6 @@ const n_options = 6; {Pascal won't count array lengths for us.} @x @ An element with all zeros always ends the list. @y -@ Shift-JIS terminal (the flag is ignored except for WIN32). -@.-sjis-terminal@> - -@<Define the option...@> = -long_options[current_option].name := 'sjis-terminal'; -long_options[current_option].has_arg := 0; -long_options[current_option].flag := address_of (sjis_terminal); -long_options[current_option].val := 1; -incr (current_option); - @ Kanji option. @.-kanji@> |