diff options
Diffstat (limited to 'Build/source/texk/web2c/pktogf.ch')
-rw-r--r-- | Build/source/texk/web2c/pktogf.ch | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/pktogf.ch b/Build/source/texk/web2c/pktogf.ch index 1451e2278a9..64419092f75 100644 --- a/Build/source/texk/web2c/pktogf.ch +++ b/Build/source/texk/web2c/pktogf.ch @@ -510,12 +510,10 @@ long_options[current_option].flag := address_of (verbose); long_options[current_option].val := 1; incr (current_option); -@ -@<Glob...@> = +@ @<Glob...@> = @!verbose: c_int_type; -@ -@<Initialize the option...@> = +@ @<Initialize the option...@> = verbose := false; @ An element with all zeros always ends the list. |